Project

General

Profile

Activity

From 18 Nov 2016 to 17 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
 

Also available in: Atom