Activity
From 10 Apr 2012 to 09 May 2012
09 May 2012
- 17:18 CoCoALib Feature #156: Brand new symbol(s)
- The current suggestion for imlpementation is the following:
* internally an anonymous symbol has empty head
* the p...
08 May 2012
- 14:32 CoCoALib Feature #142: Improve threadsafety
- Anna Maria Bigatti wrote:
> *@Elim@* (and a few other functions) create a temporary ring.
Yes. Temporary rings are ... - 12:48 CoCoALib Feature #142: Improve threadsafety
- John Abbott wrote:
> No doubt the problem is due to the temporary rings (inside @Elim@) not self destroying when the... - 09:49 CoCoALib Feature #156: Brand new symbol(s)
- JAA suggests that internally the head of an "anonymous" symbol be the empty string; the accessor function then checks...
07 May 2012
- 18:43 CoCoALib Feature #156: Brand new symbol(s)
- John Abbott wrote:
> Here are some more proposals for the head: *@??@* or *@#@* or *@_@*
>
> (...)
>
> Right now ... - 17:15 CoCoALib Feature #156: Brand new symbol(s)
- Here are some more proposals for the head: *@??@* or *@#@* or *@_@*
Printed value would look like: *@3*??[17]^... - 17:01 CoCoALib Feature #156: Brand new symbol(s)
- This is hardly important, but might be beneficial in a multithreaded environment. Possibly it would be "cleaner" too...
- 16:58 CoCoALib Feature #156: Brand new symbol(s)
- Here are 3 proposals for new PPMonoid pseudo-ctor signatures:...
- 16:54 CoCoALib Feature #156: Brand new symbol(s)
- JAA's first suggestion is to create "gensyms" containing a single index (in the hope that the index will not overflow...
- 16:46 CoCoALib Feature #156 (Closed): Brand new symbol(s)
- The pseudo-ctors for PPMonoids all require that names be specified for the indets.
It can occur that we want to cr... - 17:06 CoCoALib Bug #155: gcd: multivariate over non-prime finite field
- The guilty line is 1480 in *@TmpGReductor.C@*
My example used an unindexed *@x@* in the field of coeffs -- this tri... - 16:08 CoCoALib Bug #155 (Closed): gcd: multivariate over non-prime finite field
- GCD produces an unexpected error. Here is an example:...
- 15:46 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio has started writing his report on Bernardin's article.
There are some typos in the article. JAA has given... - 14:30 CoCoALib Bug #154 (In Progress): GCD normalization (e.g. monic)
- GCDs in a poly ring over a field are defined only upto a constant factor.
If the field is a FractionField then there... - 12:47 CoCoALib Feature #50: Polynomial content
- The function *@ContentWRT@* gives result with strange scale factors sometimes....
- 11:59 CoCoALib Feature #69 (Closed): p-th root
- This issue has effectively been replaced by #107.
- 11:57 CoCoALib Feature #107: Recognizing finite fields
- Should there also be a fn called *@PthPower@*?
I note that *@IsPthPower2@* and *@PthRoot2@* have become forgotten;...
04 May 2012
- 21:38 CoCoALib Feature #153: Shorter simpler names for some bool3 values and functions
- Spent about 45 mins discussing with Anna. Differences of opinion remain.
- 21:36 CoCoALib Feature #153 (Closed): Shorter simpler names for some bool3 values and functions
- We need shorter names for *@IsDefinitelyTrue@* and *@IsDefinitelyFalse@*.
Also need a shorter way of expressing th... - 21:30 CoCoALib Feature #138: Automatic conversion from bool3 to bool?
- I have modified *@operator<<@* for OpenMath streams so that they handle explicitly machine integers (rather than *@Ma...
- 12:36 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports:
* the examples 2,3,4 of *@ex-RingWeyl@* are almost identical -- this cannot be what is intended!
... - 12:13 CoCoALib Feature #152 (Closed): Replace bool3 by tribool
- In some quiet moment switch to using BOOST's *@tribool@* (or C++11 equivalent if it exists).
It seems pointless try...
03 May 2012
- 15:32 CoCoALib Feature #151: Iterated CanonicalHom
- There is already some code called *@TmpChainCanonicalHom@* in @CanonicalHom.[HC]@: it looks whether there is a "chain...
- 15:25 CoCoALib Feature #151 (New): Iterated CanonicalHom
- Implement *@NaturalMap@* and iterated *@CanonicalHom@*
- 15:26 CoCoALib Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
- *@RingOf@* can be applied to: ideal, RingElem, matrix, HomogList.
- 15:03 CoCoALib Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...)
- In CoCoA-5 to get the ring to which a RingElem belongs we use the fn *@RingOf@*.
Currently in CoCoALib the analogous...
02 May 2012
- 19:37 CoCoALib Bug #149 (New): Makefile dependencies
- There are problems with dependencies for optional external libraries.
How to make these dependencies visible only ... - 18:07 CoCoA-5 Bug #148 (In Progress): C-c C-p in emacs goes to wrong line
- In emacs when an error occurs running code sent via C-c C-f (effectively "source") the user can use C-c C-p to go to ...
01 May 2012
- 11:44 CoCoALib Feature #147 (In Progress): Buchberger-Moeller: impl via modular reduction
- Impl the idea presented in AKR "Zero-dim Schemes" which uses modular reduction to get the form of the answer quickly ...
- 11:39 CoCoALib Feature #146 (New): Buchberger-Moeller: input conversions
- Variants of BM which accept more convenient input (e.g. points or 0-dim ideals).
Simply convert inputs to sets of ... - 11:37 CoCoALib Feature #145 (New): Buchberger-Moeller: fast modular impl
- Impl BM over a small prime finite field. Aim for speed.
Input ideals are represented as multiplication matrices (... - 11:35 CoCoALib Feature #144 (Closed): Buchberger-Moeller: generic impl
- Implement generic BM algorithm over any field.
Aim is to make impl clean rather than fast.
Each input ideal is re... - 10:17 CoCoALib Feature #143 (In Progress): Buchberger-Moeller (parent task)
- Robbiano wants to have Buchberger-Moeller in C5. It makes most sense to implement it in CoCoALib and then make it vi...
30 Apr 2012
- 17:58 CoCoALib Feature #142: Improve threadsafety
- If ref counting is removed (seems to be highly desirable to avoid it in multithreaded programs) then CoCoALib needs t...
- 17:51 CoCoALib Feature #142 (In Progress): Improve threadsafety
- Currently CoCoALib can be made (largely?) threadsafe by compiling with the flag *@-DCoCoA_THREADSAFE_HACK@*. As its ...
- 17:52 Bug #141 (Closed): Memory leak using Elim in C5
- 17:44 Bug #141: Memory leak using Elim in C5
- I was running a CoCoA-5 compiled with *@-DCoCoA_THREADSAFE_HACK@*. The leaks I observed disappeared when I removed t...
- 16:32 Bug #141 (Closed): Memory leak using Elim in C5
- The following code has the symptoms of a memory leak (grows to about 650Mbytes):...
27 Apr 2012
- 16:29 CoCoALib Feature #125: Matrix equation solving; linear system solving
- Implemented the chosen names.
Created/corrected CoCoALib doc for the new fns.
Added CoCoALib example program *@ex-m... - 15:06 CoCoALib Feature #125: Matrix equation solving; linear system solving
- A quick count using Google suggests that *@LinSolve@* as about twice as popular as *@MatSolve@*. Anna points out tha...
- 15:00 CoCoALib Feature #50: Polynomial content
- Tests and doc are already done for CoCoA-5.
Still missing in CoCoALib - 12:49 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports
* finished *@BigInt@*, *@BigRat@* and *@MachineInt@* (doc and examples)
* *@bool3@* doc was poor; ... - 12:14 CoCoALib Support #140 (Closed): Doc & example for convert
- Alessandra reported (some time ago) that the doc for *@convert@* was rather unclear -- she could not figure out how t...
- 12:10 CoCoALib Feature #138: Automatic conversion from bool3 to bool?
- John Abbott wrote:
> The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from... - 11:30 CoCoALib Feature #139 (Closed): Usefulness of ring casting fns (remove AsPolyRing, etc.)
- Caleo pointed out that it is unclear what *@AsFractionField@* does.
JAA has already noticed that it is a nuisance ha... - 10:50 CoCoALib Bug #135: Revise interface to SmallFpImpl & friends
- Confirmed need for major redesign.
Current main doubt is how public I should be about the type *@SmallFpImpl::valu...
26 Apr 2012
- 16:18 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- After talking to AMB, it seems best to "forget" the general function for the time being (until we have a genuine need...
- 16:14 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- John Abbott wrote:
> We need a good name for this fn. The name @CoefficientsWRT@ would be fairly good, but could be ...
24 Apr 2012
- 17:09 CoCoALib Feature #138 (Closed): Automatic conversion from bool3 to bool?
- The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from @bool@.
I have al... - 16:08 CoCoALib Feature #107: Recognizing finite fields
- Added C5 documentation for @IsFiniteField@, @LogCardinality@, @IsPthPower@ and @PthRoot@.
JAA wonders whether *@Ext... - 14:58 CoCoALib Feature #107: Recognizing finite fields
- JAA now believes that he has a decent algorithm for testing a polynomial ideal for maximality. As prerequisite it ne...
- 15:35 CoCoA-5 Bug #137: JAA does not like the name IndetInd
- If we change to "subscript" instead of index then we must change the name of the "index" field in the result of @Inde...
- 15:28 CoCoA-5 Bug #137 (Closed): JAA does not like the name IndetInd
- C5 inherited from C4 the name @IndetInd@. It is the function which produces a list of "indices" from a indet, _e.g._...
- 14:52 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- JAA thinks that the most useful form of @CoeffsWRTBasis@ is one where the basis is an ordered set of PPs. Mathematic...
- 11:33 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- Part of this task has already been solved by #90 @CoefficientsWRT@.
JAA now needs a fn which converts a polynomial i... - 11:17 CoCoALib Slug #129: Better GCD
- I cleaned the code so that it leaks less memory now.
The cleaning was a consequence of some other development.
23 Apr 2012
- 16:55 CoCoA-5 Feature #133: Qt GUI: Make better distinction between input and output in the output window
- Robbiano confirmed that the blank lines and prompts are a new "feature" of the C5 GUI produced recently by Abbott -- ...
- 16:52 CoCoA-5 Feature #136 (New): GUI: Add an edit menu to the top bar (CoCoA GUI on MacOS)
- Mac users expect to find drop down menus on the top menu bar.
CoCoA GUI offers no such menu for editing commands (su... - 16:49 CoCoALib Feature #107: Recognizing finite fields
- Where should the documentation go?
- 16:46 CoCoALib Feature #107: Recognizing finite fields
- I have made the following fns available in CoCoA-5:
* @IsFiniteField@
* @LogCardinality@
* @IsPthPower@
* @PthRoot@
...
20 Apr 2012
- 12:19 CoCoALib Feature #125: Matrix equation solving; linear system solving
- While speaking to Renzo about choosing the name, I realised that solving a linear system is slightly different from s...
- 11:56 CoCoALib Feature #107: Recognizing finite fields
- I really don't like the name @CardExp@ -- I think it is too cryptic.
The value it returns is log(cardinality)/log(... - 11:13 CoCoALib Bug #135 (Closed): Revise interface to SmallFpImpl & friends
- After starting work on the reimplementation of @DUPFF@ in C++, I discovered that the interface to @SmallFpImpl@ is ne...
19 Apr 2012
- 23:59 CoCoALib Feature #134 (New): Convenience ring ctors and homs
- Here are some ideas for convenient ring ctors which make homs too:
* change PPOrdering (makes new poly ring, and pro... - 17:02 CoCoA-5 Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window
- The following input:...
18 Apr 2012
- 22:22 CoCoALib Feature #107: Recognizing finite fields
- First impls have been made.
The cardinality is represented by a fn called @CardExp@ which gives the exponent of @p... - 22:10 CoCoA-5 Bug #38: GUI: open file "with C5"
- I sometimes have a similar problem with Firefox: if I double click on a @*.html@ file and Firefox was not already run...
- 22:01 CoCoA-5 Bug #94: Default reason for protected variables
- After trying some possibilities, my preference is now for the reason to appear in brackets, like this:...
- 17:04 CoCoA-5 Bug #94: Default reason for protected variables
- I suggest the following format for the error message:...
- 16:52 CoCoA-5 Bug #102: Packages: should exported functions be automatically "Protect"ed?
- I agree that names exported from packages should be protected (probably with the reason being that it was exported fr...
- 16:31 CoCoA-5 Bug #103 (Closed): Bad error mesg using operator ":"
- Corrected erroneous actual parameters in a call in @ColonExpression:implEval@ in file @Interpreter.C@.
I simply co... - 15:58 CoCoA-5 Feature #131: Conversion from bool to INT
- We cannot use the Iverson bracket syntax directly because it already has a meaning: @[N>0]@ will produce a list conta...
- 15:46 CoCoA-5 Feature #131: Conversion from bool to INT
- Re Automatic conversion:
* Advantages: no need to choose a name, compactness
* Disadvantages: possible ambiguity, uns... - 14:56 CoCoA-5 Bug #100: BringIn should map only the indets in its arg
- JAA suggests that @BringIn@ should be simple rather than "clever". For instance it should give an error in the follo...
17 Apr 2012
- 21:21 CoCoA-5 Bug #118: unistd and call to access in Main.C
- Increased priority to "high".
Waiting for Anna's return to discuss the correctness/usefulness of allowing CoCoA-5 ... - 21:10 CoCoA-5 Bug #132 (Closed): BringIn should allow reduction modulo p
- Currently @BringIn@ does not allow one to move from char 0 to char non-zero....
16 Apr 2012
- 16:36 CoCoA-5 Feature #131 (Closed): Conversion from bool to INT
- Alessio would like a conversion from {false,true} to {0,1}.
Wikipedia mentions a function called "Iverson bracket" w... - 15:50 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio did numerous timing experiments to understand whether reordering the variables could lead to a useful gain in...
- 10:50 CoCoALib Feature #125: Matrix equation solving; linear system solving
- As mentioned in the previous post, currently I have used several fn names for solving linear systems: a generic fn, a...
- 10:45 CoCoALib Feature #125: Matrix equation solving; linear system solving
- What names should we use for the fns which find a solution to a linear system? The name may be related to the name f...
15 Apr 2012
- 22:07 CoCoALib Bug #130 (New): Design problem in ideals
- Now that there is a linear system solver I tried to write a general implementation for
@SparsePolyRingBase::IdealImp... - 21:59 CoCoALib Slug #129: Better GCD
- Implemented a first version where some GCD computations are passed to the old CoCoA-4 code. It is a poor implementat...
- 21:38 CoCoALib Slug #129 (New): Better GCD
- Currently CoCoALib computes GCDs using GBasis/syzygy computations. This is often terribly slow -- there is faster co...
- 21:31 CoCoA-5 Bug #52 (Closed): GUI: problem with "--" comment
- Fixed.
*BUT* there remains a more subtle problem: the way the GUI determines the state of the parser appears to be...
13 Apr 2012
- 18:29 CoCoALib Feature #125: Matrix equation solving; linear system solving
- Added some doc in @MatrixArith.txt@, and a new test @test-matrix3.C@.
No new example program yet.
New fns not yet a... - 14:30 CoCoALib Feature #125: Matrix equation solving; linear system solving
- JAA has an impl of the generic case (over a field).
JAA has written a test for this first impl.
No example, and no ...
10 Apr 2012
- 21:10 CoCoA-5 Bug #118 (Resolved): unistd and call to access in Main.C
- 21:10 CoCoA-5 Bug #118: unistd and call to access in Main.C
- To answer the question "why...?" in the last update: the fn @access@ returns 0 if the file exists, and -1 if it does ...
Also available in: Atom