CoCoA

14 Dec 2016

11:40 CoCoA-5 Feature #993 (In Progress): New function: RingQQi()? extension of QQ with imaginary unit

It would be handy to have @RingQQi()@ (or @NewRingQQi()@).
Very simple to do in CoCoA5 (in this case it has to be ... Anna Maria Bigatti

13 Dec 2016

18:04 CoCoALib 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 CoCoALib 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

16:53 CoCoA-5 Design #990: CoCoA-5 distribution: tidying

I think it is probably better to copy explicitly the files we want in the distribution, rather than copy everything a... John Abbott

08 Dec 2016

20:08 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)

The files to check for changes should be @CoCoAHelp.xml@, @aux-files/GUI_help.xsl@, and the files in @aux-files/GUI-e... Anna Maria Bigatti

13:13 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)

It may be enough to create (using @touch@?) two sentinel files: one immediately before producing all the HTML files, ... John Abbott

13:10 CoCoA-5 Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)

It is mildly annoying that the @htmldoc@ target is always rebuilt even if there was no change to the file @CoCoAHelp.... John Abbott

07 Dec 2016

07:53 CoCoA-5 Design #990: CoCoA-5 distribution: tidying

John Abbott wrote:
> I imagine that @README@ is not needed; all the permissions look wrong to me!
@README@ shoul... Anna Maria Bigatti

05 Dec 2016

15:01 CoCoA-5 Design #990: CoCoA-5 distribution: tidying

I am trying to write a @make install@ target for CoCoA-5, and this involves copying the manual.
Rather than blindly ... John Abbott

14:55 CoCoA-5 Design #990 (In Progress): CoCoA-5 distribution: tidying

I have noticed that several files inside our source tree have wrong permissions:
* all @source.C@ files should have ... John Abbott

14:50 CoCoA-5 Design #990 (Closed): CoCoA-5 distribution: tidying

I have had a quick look at the files in the distribution of CoCoA-5.1.5, and I think some tidying is needed.
* Sever... John Abbott

10:30 CoCoALib Feature #931: GBasis verbose mode

Added first verbosity comments activated with... Anna Maria Bigatti

02 Dec 2016

09:13 CoCoALib 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

01 Dec 2016

11:36 CoCoA-5 Design #989 (In Progress): init file obligatory?

If it can be done quickly, I see no objection to having a *@--no-packages@* option.
I am not entirely happy about ... John Abbott

11:32 CoCoA-5 Feature #988 (Resolved): Makefile: install target for cocoa5

I have opted to use a symbolic link from @/usr/local/bin/cocoa5@ to the actual script which does the work (_e.g._ @/u... John Abbott

30 Nov 2016

23:35 CoCoA-5 Bug #755: Find out how to compile statically on linux

I have built what seems to be a portable 32-bit executable of @CoCoAInterpreter@ on the Linux VM (on my old MacBook).... John Abbott

21:47 CoCoALib 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

21:23 CoCoA-5 Feature #988 (In Progress): Makefile: install target for cocoa5

I now think that it might be simpler to make @/usr/local/bin/cocoa5@ a (symbolic?) link to @/usr/local/bin/cocoa-5.1.... John Abbott

21:13 CoCoA-5 Feature #988: Makefile: install target for cocoa5

I have just checked in a first attempt at making an @install@ target for CoCoA-5.
Currently the destination director... John Abbott

07:42 CoCoA-5 Design #989: init file obligatory?

When I added @init.cocoa5@ I did not consider the possibility of calling cocoa passing explicitely an empty directory... Anna Maria Bigatti

07:34 CoCoA-5 Design #989: init file obligatory?

John Abbott wrote:
> In my tree @init.cocoa5@ contains 9 lines, but only 2 (or perhaps 3) actually do anything usefu... Anna Maria Bigatti

29 Nov 2016

23:23 CoCoA-5 Design #989: init file obligatory?

The critical section of source code appears to be around line 126 of @Main.C@.
(call to @perror@)
John Abbott

23:12 CoCoA-5 Design #989: init file obligatory?

In my tree @init.cocoa5@ contains 9 lines, but only 2 (or perhaps 3) actually do anything useful.
I suggest keepin... John Abbott

23:10 CoCoA-5 Design #989: init file obligatory?

I found this while trying to create a "quick start" CoCoA-5 by giving it an empty directory as the place to look for ... John Abbott

23:04 CoCoA-5 Design #989 (In Progress): init file obligatory?

Currently the @CoCoAInterpreter@ requires that there be a file @init.cocoa5@ in the same directory as the packages.
... John Abbott

23:19 CoCoA-5 Bug #755: Find out how to compile statically on linux

Has the blas-free version been put on the website?
John Abbott

23:17 CoCoA-5 Support #322: Installation instructions (on website)

The instructions for installing CoCoA-5 on linux still need improvement!
* what to do with the file @cocoa-XYZ.tar... John Abbott

19:30 CoCoALib 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 CoCoALib 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

18:32 CoCoA-5 Feature #988: Makefile: install target for cocoa5

This will be a little complicated because we need to install both the executable and the packages, and also tell the ... John Abbott

18:19 CoCoA-5 Feature #988 (Closed): Makefile: install target for cocoa5

Zoltan kovacs would like to install both CoCoALib and CoCoA-5.
Currently the @install@ target in the Makefile instal... John Abbott

28 Nov 2016

22:21 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #764 (In Progress): ExternalLib: simplify configuration

Is this now resolved? Or even in @feedback@? Perhaps change target version? John Abbott

15:41 CoCoALib 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 CoCoALib 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

13:52 CoCoA-5 Support #985: Microsoft (Windows 10, maybe other versions): more help for installation

Ablamovicz's email was sent on 2016-11-28.
It might be enough to supply a simple *@example.cocoa5@* file which can... John Abbott

13:48 CoCoA-5 Support #985 (New): Microsoft (Windows 10, maybe other versions): more help for installation

Recently Rafal Ablamowicz reported problems with installing CoCoA-5 (with emacs) on a windows 10 computer.
He had ... John Abbott

26 Nov 2016

18:08 CoCoA-5 Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries

I noticed that in this example the order matrices always have strictly positive entries in the first row. Are zeroes... John Abbott

18:02 CoCoA-5 Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries

Here is the same example as in issue #973... John Abbott

17:51 CoCoA-5 Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries

After using @GroebnerFanIdeals@, I noticed that some order matrices can have quite "large" entries (_e.g._ greater th... John Abbott

17:46 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

After recently delving into the source code for the interpreter to handle interrupts as I'd originally intended, I am... John Abbott

17:40 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #971 (Feedback): CheckForInterrupt does not work in the expected way

John Abbott

17:28 CoCoA-5 Bug #981: SqFreeFactor: small (or big) bug?

Works on other examples (used in factorization over algebraic extensions).
Thanks! great! Anna Maria Bigatti

16:59 CoCoA-5 Bug #981: SqFreeFactor: small (or big) bug?

Added Anna's example to CoCoA-5 @tests/exbugs.cocoa5@. Checked in.
John Abbott

16:46 CoCoA-5 Bug #981 (Resolved): SqFreeFactor: small (or big) bug?

I have modified @SparsePolyRingBase::myGCD@ to handle specially only if coeffs are @IsRingFp@; previously it just tes... John Abbott

16:22 CoCoA-5 Bug #981 (Closed): SqFreeFactor: small (or big) bug?

This example gives error (others seem to work fine)... Anna Maria Bigatti

24 Nov 2016

19:12 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly

Maybe the one I wrote could then be called @NumDenSize10@?
I still think it is useful, for a human, to know that. Anna Maria Bigatti

19:01 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly

Anna has put a first prototype in @experimental.cpkg5@; it follows the original defn. It is deliberately not documen... John Abbott

18:51 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly

The definition originally proposed in email was to return a pair of integers being effectively @[max(FloorLog10(num(c... John Abbott

18:38 CoCoA-5 Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly

In email Anna proposed a function, tentatively named @CoeffSize@, to measure the size of the coeffs in a poly (over @... John Abbott

13:56 CoCoALib 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:46 CoCoA-5 Slug #405 (Feedback): ReducedGBasis not memorized in an ideal

GBasis is now exactly ReducedGBasis.
(still an error on RingWeyl, though, where it is not interreduced) Anna Maria Bigatti

13:43 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal

John Abbott wrote:
> [translated from an email written in italian]
>
> Here is a potentially important point. Fo... Anna Maria Bigatti

13:13 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal

[translated from an email written in italian]
Here is a potentially important point. For simplicity I consider th... John Abbott

13:05 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal

Anna now reports that @GBasis@ actually produces an irredundant fully reduced GBasis; the only step missing for makin... John Abbott

13:19 CoCoALib 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

13:02 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

I now think that the "universal" denominator is valid for any monic basis which contains a RGB as subset (since the o... John Abbott

23 Nov 2016

16:44 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

I wonder how "universal" @UniversalRGBDenom@ is? Does it also apply to all Janet Bases? And Pommaret Basis (if it e... John Abbott

13:32 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

John Abbott wrote:
> The name *@UniversalRGBDenominator@* is OK for me.
>
> I note that there are already two "de... Anna Maria Bigatti

12:19 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

The name *@UniversalRGBDenominator@* is OK for me.
I note that there are already two "denominator" functions: *@de... John Abbott

07:41 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

John Abbott wrote:
> I'm still hoping to find a better name than @UniversalDenominator@; I feel that it ought to con... Anna Maria Bigatti

13:55 CoCoA-5 Support #973 (Feedback): GroebnerFanIdeals: verbosity and output style

Now prints "*" with verbosity >=10 /// updated... Anna Maria Bigatti

08:53 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

Added @GroebnerFanReducedGBases@.
For the "*" I could use the new "VerbosityLevel". Working on it. Anna Maria Bigatti

08:35 CoCoALib Feature #961 (In Progress): New function: ReducedGBasis

Anna Maria Bigatti

08:34 CoCoALib 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 CoCoALib Feature #931: GBasis verbose mode

Now we have @SetVerbosityLevel@ it should be (almost) trivial. Anna Maria Bigatti

08:23 CoCoALib Feature #962: General verbose mode?

Added in CoCoA-5. Fantastic! Anna Maria Bigatti

22 Nov 2016

15:38 CoCoALib 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 CoCoALib Feature #979 (Resolved): SmallestNonDivisor -- new fn

Added *@SmallestNonDivisor@* to @NumTheory@; also available in CoCoA-5.
Updated doc for @NumTheory@.
Still to do: ... John Abbott

15:34 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

I have implemented @SmallestNonDivisor@ (see #979).
I'm still hoping to find a better name than @UniversalDenomina... John Abbott

07:42 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

The other functions should be called @UniversalDenominator(I)@ and @SmallestExcellentPrime(I)@. Anna Maria Bigatti

13:09 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

Out of curiosity.... Does GFan produce order matrices with smallest possible non-negative entries?
In the example fr... John Abbott

11:25 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

I have rewritten the man page for @GroebnerFanIdeals@ (and already checked in, if I recall correctly).
John Abbott

07:36 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

Anna Maria Bigatti wrote:
> One possibility, for small examples (or for convincing the user it is not a good idea ;-... Anna Maria Bigatti

12:42 CoCoALib 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

07:32 CoCoA-5 Feature #964: New function: MakeMultiset?

John Abbott wrote:
> What applications do you have in mind?
I haven't yet replied because I cannot remember... I ... Anna Maria Bigatti

21 Nov 2016

18:01 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages

My preferred is... Anna Maria Bigatti

14:06 CoCoALib 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 CoCoALib 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

14:44 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

John Abbott wrote:
> I think the confusion came from the way the documentation is worded.
>
> I have rerun the ex... Anna Maria Bigatti

14:27 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

I think the confusion came from the way the documentation is worded.
I have rerun the example from comment 2, and ... John Abbott

09:40 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style

It would be nice to have as result the list of ideals *generated* by the reduced GBases, but in that way (in CoCoA-5!... Anna Maria Bigatti

14:41 CoCoA-5 Feature #978: CommonDenom: for polys and lists?

Some aspects to consider when deciding the semantics:
* we may assume that the result is positive (if coeffs in @QQ@... John Abbott

14:34 CoCoA-5 Feature #978: CommonDenom: for polys and lists?

In fact there is already an undocumented builtin fn called @CommonDenom@, but only for RINGELEM. The fn also exists ... John Abbott

14:32 CoCoA-5 Feature #978 (Closed): CommonDenom: for polys and lists?

Should there be a function called *@CommonDenom@* (or something similar)?
For polynomials? For lists of polynomials? John Abbott

09:47 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

I copied John's code for further experiments in our working dir MinPoly2016, file @Deltone.cocoa5@. CVS-ed Anna Maria Bigatti

09:36 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

By John Abbott:
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good pr... Anna Maria Bigatti

09:35 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)

By John Abbott:
Does this code correctly compute the "universal denominator" for the ideal I?... Anna Maria Bigatti

09:33 CoCoA-5 Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals)

[Coming from our recent work on MinPoly]
It would be interesting to investigate the "universal denominator" of an id... Anna Maria Bigatti