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