Project

General

Profile

Activity

From 14 Nov 2016 to 13 Dec 2016

13 Dec 2016

18:04 Feature #992: Poly ring homomorphism to change ordering
This may be just a special case of "extending a PPMonoid homomorphism" to a poly ring homomorphism.
It could also ...
John Abbott
17:05 Feature #992 (New): Poly ring homomorphism to change ordering
It could be helpful to have an easy way of mapping from one poly ring to another which just changes the term ordering... John Abbott

05 Dec 2016

10:30 Feature #931: GBasis verbose mode
Added first verbosity comments activated with... Anna Maria Bigatti

02 Dec 2016

09:13 Feature #961: New function: ReducedGBasis
the GBasis is not reduced if the ring is not commutative
(ideal(x,dx) is homogeneous, so the algorithm does not expe...
Anna Maria Bigatti

30 Nov 2016

21:47 Feature #765 (In Progress): ExternalLib-CDD: (needed by GFan)
Here are some notes I have just made (after trying to compile CDD and GFan on my netbook).... John Abbott

29 Nov 2016

19:30 Design #932: CoCoALib configuration: BOOST dependency
I have added a *@--no-boost@* option to the @configure@ script; this disables automatic searching for the BOOST heade... John Abbott
19:24 Design #932 (In Progress): CoCoALib configuration: BOOST dependency
The CoCoA @configure@ script complains if someone specifies "with Normaliz" but "without BOOST". The code in CoCoALi... John Abbott

28 Nov 2016

22:21 Feature #658: Indets actually in a poly (or vector or matrix)
I have moved this issue to CoCoALib, which is where I had expected to find it.
On several occasions I would have l...
John Abbott
22:04 Feature #987: GCD: add special case if args are monomials
The relevant place in the code seems to be in @SparsePolyRing.C:814@.
To see how slow the current code is, try the...
John Abbott
21:54 Feature #987 (New): GCD: add special case if args are monomials
While trying to comprehend the (undocumented) code I wrote in @ArithGroup.cpkg5@, I noticed a comment about GCD being... John Abbott
15:43 Design #764 (In Progress): ExternalLib: simplify configuration
Is this now resolved? Or even in @feedback@? Perhaps change target version? John Abbott
15:41 Bug #986: GFan: require version newer than 0.6
Anders let us know by email (2016-11-28) about the problem in @gfanlib@.
I have already asked how a shell script c...
John Abbott
15:38 Bug #986 (In Progress): GFan: require version newer than 0.6
Anders reports that @gfanlib@ version 0.6 contained a bug.
We should either require that @gfanlib@ be newer than 0.6...
John Abbott

26 Nov 2016

17:40 Feature #765: ExternalLib-CDD: (needed by GFan)
I tried to put GFan on the Linux box in Kassel, but did not succeed in getting CDD properly installed.
Part of the p...
John Abbott

25 Nov 2016

18:01 Design #983: Which ostream for verbose/obsolescent log mesgs?
The standard ostream @clog@ would be the logical choice for logging messages (on a program that runs inside an xterm,... John Abbott
17:53 Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?
Which @ostream@ should be used for log messages produced by "verbose mode" or "obsolescent" warnnings?
Note that e...
John Abbott
17:44 Design #982: Catching interrupts in example progs?
Perhaps the current behaviour is not so bad: CoCoALib converts any interrupts that it detects into an exception of ty... John Abbott
17:35 Design #982 (Closed): Catching interrupts in example progs?
With the current design (where the exception produced by an interrupt is not of type @CoCoA::ErrorInfo@), if you inte... John Abbott
17:30 Bug #971 (Feedback): CheckForInterrupt does not work in the expected way
John Abbott

24 Nov 2016

13:56 Bug #154 (In Progress): GCD normalization (e.g. monic)
I stumbled across this problem/issue again when trying to implement @GCDFreeBasis@ (see #259).
In reference to my ...
John Abbott
13:19 Feature #259 (In Progress): Squarefree(?) GCD-free basis
I have written a first version (for @RingElem@) by translating almost directly the impl in @GCDFreeBasis.cpkg5@. I h... John Abbott

23 Nov 2016

08:35 Feature #961 (In Progress): New function: ReducedGBasis
Anna Maria Bigatti
08:34 Feature #961: New function: ReducedGBasis
I realized, after trying to implement it, that CoCoALib @myDoGBasis@ already does it!!
In fact the only operation no...
Anna Maria Bigatti
08:25 Feature #931: GBasis verbose mode
Now we have @SetVerbosityLevel@ it should be (almost) trivial. Anna Maria Bigatti
08:23 Feature #962: General verbose mode?
Added in CoCoA-5. Fantastic! Anna Maria Bigatti

22 Nov 2016

15:38 Feature #979: SmallestNonDivisor -- new fn
I still like the idea of an iterator, but it would be hard to "export" the notion to CoCoA-5. Maybe that does not ma... John Abbott
15:31 Feature #979 (Resolved): SmallestNonDivisor -- new fn
Added *@SmallestNonDivisor@* to @NumTheory@; also available in CoCoA-5.
Updated doc for @NumTheory@.
Still to do: ...
John Abbott
12:42 Bug #975 (Resolved): configure: possibly ignore GMP compilation flags
I have added (yet another) configuration option *@--ignore-gmp-cflags@*.
Combining this with *@--with-cxxflags=@* sh...
John Abbott

21 Nov 2016

18:01 Feature #979: SmallestNonDivisor -- new fn
After a brief discussion on email, I think it is best to write on redmine.
Robbiano proposes a function to find the ...
John Abbott
17:51 Feature #979 (Closed): SmallestNonDivisor -- new fn
In the context of the "universal denominator" for a polynomial ideal, it could be useful to find the first prime whic... John Abbott
17:49 Support #976: configure: auxiliary scripts should be consistent about error messages
I have changed the format of the error messages in the existing shell scripts: the script name is now placed last (an... John Abbott
14:22 Support #976: configure: auxiliary scripts should be consistent about error messages
OK, we can try with the script (base)name at the end of the message. It shouldn't take too long to make the change.
...
John Abbott
14:08 Support #976: configure: auxiliary scripts should be consistent about error messages
My preferred is... Anna Maria Bigatti
14:06 Support #976: configure: auxiliary scripts should be consistent about error messages
John Abbott wrote:
> Another idea is to have a configuration flag for "developers" so that the errors from scripts s...
Anna Maria Bigatti
13:51 Support #976: configure: auxiliary scripts should be consistent about error messages
Another idea is to have a configuration flag for "developers" so that the errors from scripts say which script gave t... John Abbott

18 Nov 2016

23:09 Feature #951 (Closed): New function: IsSqFree
John Abbott
22:39 Feature #955 (Closed): RandomUnimodularMat - random unimodular matrix (of integers)
John Abbott
22:37 Feature #910 (Closed): BigRat: read from a string in "decimal" format?
John Abbott
22:24 Bug #956 (Closed): determinant: fails for 0x0 matrix (SEGV)
John Abbott
22:23 Bug #938 (Closed): ReadExpr: misreads 2/3^4
John Abbott
22:22 Bug #936 (Closed): ReadExpr: cannot handle exponent which is not integer literal
John Abbott
21:58 Bug #971: CheckForInterrupt does not work in the expected way
I have now changed the call to @CheckForInterrupt@ in @TmpGReductor@ to the simple call that I had expected to see, a... John Abbott
18:54 Support #976 (In Progress): configure: auxiliary scripts should be consistent about error messages
Another possibile one-line format could put the script name in brackets somehow:
(first line is the current format)
...
John Abbott
18:44 Support #976: configure: auxiliary scripts should be consistent about error messages
One suggestion for the format of the error messages is to use 2 lines, perhaps like this:... John Abbott
18:39 Support #976: configure: auxiliary scripts should be consistent about error messages
While unformity is nice, it is not so important if the existing scripts work well enough ==> low priority.
I think...
John Abbott
18:34 Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages
There are numerous auxiliary shell scripts (in directory @configuration/@).
They do not have a uniform way of commun...
John Abbott
18:28 Bug #975: configure: possibly ignore GMP compilation flags
If I recall well, with the @clang@ compiler there is a compile-time error with the platform-specific flags from the "... John Abbott
18:20 Bug #593 (Feedback): Temporary directories used during configuration
I have updated all the auxiliary scripts to use temp dirs in @/tmp@ following the naming convention suggested above. ... John Abbott
13:39 Bug #593: Temporary directories used during configuration
Also done the @gfan@ scripts (and fixed some more tiny problems in the @gmp@ scripts).
John Abbott
12:19 Bug #593: Temporary directories used during configuration
I have now adopted the following naming convention for the tmp dirs:
*@/tmp/CoCoALib-config-abbott-2016-11-18/gmp-cx...
John Abbott

17 Nov 2016

22:47 Bug #593: Temporary directories used during configuration
I have changed the @gmp-XYZ.sh@ scripts... configuration still works on my machine (I think).
John Abbott
22:04 Bug #593: Temporary directories used during configuration
Some scripts need to know where the *@ExternalLibs@* directory is located.
I think the simplest way to pass in this ...
John Abbott
21:34 Bug #593: Temporary directories used during configuration
Using @/tmp@ for temporary directories is very tempting, but must be done safely (_e.g._ cannot have two users trying... John Abbott
21:16 Bug #975 (In Progress): configure: possibly ignore GMP compilation flags
I have modified the script @gmp-cxx-flags.sh@. A quick test on my machine passed (well, the first few tests didn't p... John Abbott
19:25 Bug #975: configure: possibly ignore GMP compilation flags
I hope to resolve this while I'm here, and can see what happens on Gereon's cloud.
Of course, it is tedious having...
John Abbott
19:23 Bug #975 (Closed): configure: possibly ignore GMP compilation flags
Gereon had a strange problem. He was compiling on a cloud VM, and got strange error messages about the platform-spec... John Abbott
19:15 Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
This should really be under CoCoA-5, but I hope that @RealRoots@ will soon be migrated to C++ (see #440).
My curre...
John Abbott
19:07 Feature #974 (In Progress): QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
The fn @RealRoots@ lets a user specify an interval in which to look for real roots.
If the initial ends points are n...
John Abbott
19:03 Feature #678: Accumulator (like a geobucket)
Here is a possible design:
* user deals with a smart-pointer class (_e.g._ like ideal)
* internally there is an abs...
John Abbott
14:26 Feature #678 (In Progress): Accumulator (like a geobucket)
Here are some possible applications:
* converting polynomials to/from CoCoALib (_e.g._ other library may keep terms ...
John Abbott
14:12 Feature #678: Accumulator (like a geobucket)
Just adding some *keywords* to this issue (so it is easier to find via redmine search).
*Summation*, *summer*, *summ...
John Abbott
14:12 Feature #817: GenRepr in CoCoALib?
I will write GenRepr for poly/ideal leaving the marginal cases to cocoa-5 code.
Anna Maria Bigatti
13:25 Feature #817: GenRepr in CoCoALib?
Clearly it was not possible to have it by summer 2016 :-)
@Anna: would it be easy to add?
John Abbott
13:36 Feature #839: SparsePolyIter: make more compatible with STL
Here is a possible way to implement the idea in comment 2.
The "index" could be a pair of pointers: one pointer to...
John Abbott
13:21 Support #972: ex-PolyIterator
Since the feature being exhibited in the examples is called @SparsePolyIter@, it makes more sense that the files be c... John Abbott
13:17 Support #972 (New): ex-PolyIterator
There are examples for using @SparsePolyIter@; why are the files they are in called @ex-PolyIterator@?
@ex-PolyIte...
John Abbott

14 Nov 2016

21:53 Bug #971: CheckForInterrupt does not work in the expected way
Cane we have something more compact like this?... Anna Maria Bigatti
16:11 Bug #971: CheckForInterrupt does not work in the expected way
I have made some changes to @Interpreter.C@ (mostly adding catch commands for @InterruptReceived@).
I have not (ye...
John Abbott
13:07 Bug #971: CheckForInterrupt does not work in the expected way
In issue #714 I had guessed that the only place I needed to catch @InterruptReceived@ was around line 2678 of @Interp... John Abbott
13:03 Bug #971 (In Progress): CheckForInterrupt does not work in the expected way
As far as I can see, the CoCoA-5 interpreter needs to be modified so that it catches both @CoCoA::ErrorInfo@ and @CoC... John Abbott
11:10 Bug #971 (Closed): CheckForInterrupt does not work in the expected way
Looking at the call to @CheckForInterrupt@ in @GReductor::myReduceCurrentSPoly@ (around line 760 of @TmpGReductor.C@)... John Abbott
 

Also available in: Atom