CoCoA

17 Dec 2017

17:14 CoCoALib Support #1099: MinPolyQuot: missing doc

True... I'm undecided where to put it. @RingElem.txt@?
Anna Maria Bigatti

17:07 CoCoA-5 Design #1127: subalgebra package obsolete?

Now it also exports @implicit@, which is computed via @ker_H@. Anna Maria Bigatti

17:00 CoCoA-5 Design #1128 (Feedback): HomomorphismFns.cpkg5 no longer needed?

removed Anna Maria Bigatti

16 Dec 2017

15:19 CoCoALib Support #887: My first compilations with clang

It would be helpful to "ignore" warnings which will disappear when we update the code to be C++11 compatible.
The ... John Abbott

15 Dec 2017

19:02 CoCoALib Bug #1143: Polynomial multiplication wrong for non integral rings

added test for cocoalib (in test-SparsePolyRing1)
cvs-ed Anna Maria Bigatti

18:50 CoCoALib Bug #1143: Polynomial multiplication wrong for non integral rings

Easy to fix, but can we avoid doing too many checks?
Make tests for all polynomial types. Anna Maria Bigatti

18:48 CoCoALib Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings

In cocoa-5 syntax... Anna Maria Bigatti

18:37 CoCoA-5 Feature #1142: NewZZmod: port to CoCoA-5

John ported it to CoCoA-5.
I added it to the manual.
Found a bug: printing 0 coeff (this means it contains a summa... Anna Maria Bigatti

18:33 CoCoA-5 Feature #1142 (Closed): NewZZmod: port to CoCoA-5

NewZZmod allows big integers, and non-primes. Anna Maria Bigatti

18:09 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype

added documentation in cocoa-5
Anna Maria Bigatti

17:35 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype

Added documentation in CoCoALib Anna Maria Bigatti

17:04 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype

Cleaned up examples (now 2 examples).
Anna Maria Bigatti

17:30 CoCoALib Feature #319 (Closed): BOOST -- how it could help in CoCoALib

I now think that it is better to avoid using BOOST if reasonably possible, since otherwise it introduces another "ted... John Abbott

17:27 CoCoALib Bug #905: txt2tags: double quotes wrong in LaTeX

See the maintainer doc for @ApproxPts@ for a case where double quotes appear.
There are surely others, but I wanted ... John Abbott

17:21 CoCoALib Bug #693 (Closed): Makefile_dependencies in src/tests/

Strictly the tests could depend explicitly on just those header files actually included. In practice this extra depe... John Abbott

16:42 CoCoALib Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction)

John Abbott

16:39 CoCoALib Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)

John Abbott

16:37 CoCoALib Design #683 (Closed): Module index component in internal compressed representation

The code has been unchanged for over a year, and no problems have yet arisen (because no one has tried computing with... John Abbott

16:28 CoCoALib Support #887 (Resolved): My first compilations with clang

I still get lots of wanrings, but I don't know how to solve them.
Maybe we should close this (it's a long time since... Anna Maria Bigatti

16:25 CoCoALib Support #1058 (Feedback): CoCoALib version in Documentation and Examples

Dona, using sed.
Anna Maria Bigatti

16:20 CoCoA-5 Support #1000 (Closed): CoCoAManual for "all cocoa commands"

John Abbott

15:57 CoCoA-5 Feature #1073 (Closed): RelNotes: current version or all previous versions?

John Abbott

15:53 CoCoA-5 Design #1127 (Closed): subalgebra package obsolete?

John Abbott

15:46 CoCoA-5 Feature #988 (Closed): Makefile: install target for cocoa5

Until the installation process actually becomes used by some people, it will be hard to debug it.
I think the curren... John Abbott

15:41 CoCoA-5 Support #1074 (Closed): CoCoAManual: entry for radical

John Abbott

15:37 CoCoA-5 Bug #1032 (Closed): IsInRadical: fragile code

John Abbott

15:36 CoCoA-5 Slug #1141 (New): IsInRadical: for monomial ideals

Make a faster impl for monomial ideals.
Here is a contrived example of a slug:... John Abbott

15:30 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice

Postponing to next version; it is better to deal with all fns, and then close (rather than close after having dealt w... John Abbott

15:18 CoCoALib Feature #37 (Closed): matrix constructors

John Abbott

15:16 CoCoALib Bug #1135 (Closed): Compilaton with --debug configuration option gives errors

I have also improved the message placed in PREPROCESSOR_DEFNS.H near the definition/undefinition of @CoCoA_DEBUG@ John Abbott

15:08 CoCoALib Bug #975 (Closed): configure: possibly ignore GMP compilation flags

It has been working fine for several months with the extraction of GMP flags disabled by default.
I still have to de... John Abbott

14 Dec 2017

16:26 CoCoA-5 Bug #1140 (Closed): ImplicitModular: too many bad primes

this is related with @implicit@: it should (by default) return the ideal in a ring with weights, so that the generato... Anna Maria Bigatti

14:54 CoCoA-5 Bug #1140: ImplicitModular: too many bad primes

The defn of *@IsPrecedingNoCheck@* looks suspicious to me (compared to the defn in the article).
But changing the de... John Abbott

14:25 CoCoA-5 Bug #1140: ImplicitModular: too many bad primes

The critical prime appears to be 223.
If I start the calculation from p=223, it reports that all other primes are BA... John Abbott

14:19 CoCoA-5 Bug #1140 (Closed): ImplicitModular: too many bad primes

In the example below @ImplicitModular@ decides that it has found a "better prime", but after that all primes seem to ... John Abbott

14:29 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

@ker@ should use @implicit@, and @implicit@ should return (if not otherwise indicated) the answer in a ring with a co... Anna Maria Bigatti

13 Dec 2017

16:40 CoCoA-5 Feature #1073 (Feedback): RelNotes: current version or all previous versions?

Done.
Documented Anna Maria Bigatti

14:28 CoCoA-5 Slug #798 (Closed): use poly ring with many variables is too slow

Presumably we've been using this code for a couple of years without any problems arising.
Indeed the solution is n... John Abbott

14:23 CoCoA-5 Support #1000 (Feedback): CoCoAManual for "all cocoa commands"

added in the entry for "all cocoa command" the search keys for, foreach, if, then, ....
so, when looking for one of... Anna Maria Bigatti

13:23 CoCoA-5 Bug #1139 (Closed): Radical problems

Fixed: all the problem was in ideal(1).
(there is a naughty trick in @ElimRedundant(E)@)
Now @radical(I)@ exits @I@... Anna Maria Bigatti

12 Dec 2017

19:32 CoCoA-5 Bug #1139: Radical problems

another... Anna Maria Bigatti

17:15 CoCoA-5 Bug #1139: Radical problems

Much like the example above:... John Abbott

16:58 CoCoA-5 Bug #1139: Radical problems

Here is another case where things go wrong:... John Abbott

15:06 CoCoA-5 Bug #1139: Radical problems

The problem seems to be when the ideal contains 1.... John Abbott

14:58 CoCoA-5 Bug #1139 (Closed): Radical problems

There are still problems with radical: sometimes it gives an empty list instead of an ideal.... John Abbott

15:36 CoCoA-5 Design #1137 (Closed): Latex: ideal

It seems OK to me. Closing.
I have improved the manual entry slightly.
John Abbott

11:01 CoCoA-5 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?

John Abbott

11 Dec 2017

19:21 CoCoA-5 Design #1092 (Closed): Design issues for discussion in July 2017

Anna Maria Bigatti

18:00 CoCoA-5 Design #1092 (Rejected): Design issues for discussion in July 2017

We didn't take notes. Maybe we wrote things directly in the issues... or in the code.
Closing this. Anna Maria Bigatti

19:19 CoCoA-5 Bug #1133 (Closed): Radical bug

Anna Maria Bigatti

19:19 CoCoA-5 Support #1074 (Feedback): CoCoAManual: entry for radical

added example for radical(poly).
I'm not confident it always works for ideals in small characteristic.
I hope the... Anna Maria Bigatti

19:10 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

John Abbott wrote:
> Is it possible to make links/references from normal manual pages to/from the page about CoCoA c... Anna Maria Bigatti

18:47 CoCoA-5 Support #1023 (Feedback): CoCoAManual for verbosity: how to find which levels? how to find which functions?

I suggest closing this now.
A refined solution is much more difficult and probably not that necessary.
Anna Maria Bigatti

18:14 CoCoA-5 Support #439 (Closed): CoCoA website: download pages and installing instructions

The pages have changed a lot, and the comments here are vague.
There are more specific issues now, so I close this. Anna Maria Bigatti

18:07 CoCoA-5 Support #439 (Resolved): CoCoA website: download pages and installing instructions

I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scr... Anna Maria Bigatti

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

I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scre... Anna Maria Bigatti

18:11 CoCoA-5 Support #322: Installation instructions (on website)

Adding a comment from John:
Some points to clarify on the website:
what to download and do for a completely... Anna Maria Bigatti

18:03 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers

more experiments, added logo in the google page. Anna Maria Bigatti

18:01 CoCoA-5 Design #1123 (Closed): Should "minimalize" be obsolescent?

Anna Maria Bigatti

17:58 CoCoA-5 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT

Anna Maria Bigatti

17:53 CoCoA-5 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!

added tests
closing
Anna Maria Bigatti

17:41 CoCoA-5 Bug #1080: intersect: problem with zero generators

added test in exbugs. Anna Maria Bigatti

17:11 CoCoA-5 Bug #1080 (Closed): intersect: problem with zero generators

Anna Maria Bigatti

17:10 CoCoA-5 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)

Anna Maria Bigatti

17:08 CoCoA-5 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input

Anna Maria Bigatti

17:06 CoCoA-5 Design #1137 (Feedback): Latex: ideal

documentation done. Anna Maria Bigatti

16:40 CoCoA-5 Design #1137 (Closed): Latex: ideal

revised printing of ideals: now uses \ideal{gens} instead of old (gens)
Add macro definition in manual.
*2017-1... Anna Maria Bigatti

16:55 CoCoA-5 Design #1075: LaTeX package: power-product printing

Made simpler in easy, common cases: when all the indets in the ring are single letters, then the indets in a power-pr... Anna Maria Bigatti

16:42 CoCoA-5 Design #1075 (In Progress): LaTeX package: power-product printing

Anna Maria Bigatti

16:45 CoCoA-5 Design #1138 (New): Latex: matrix

Should we use matrix instead of array? Anna Maria Bigatti

07 Dec 2017

17:42 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

After doing some experiments we (Lorenzo Robbiano and I) are now convinced that it is always worth giving weights and... Anna Maria Bigatti

06 Dec 2017

13:43 CoCoALib Slug #1136 (In Progress): IsInRadical: sometimes a bit slow

With the original exponents (4,5) the timings I obtained are:
* @IsInRadical(f1,I)@ took 2.6s
* @IsInRadical(f2,I)... John Abbott

13:33 CoCoALib Slug #1136 (Closed): IsInRadical: sometimes a bit slow

I noticed that @test-RadicalMembership1.C@ was rather slow, and wanted to make it faster.
It tests for membership ... John Abbott

05 Dec 2017

16:07 CoCoALib Bug #1135: Compilaton with --debug configuration option gives errors

> Should the target version be 0.99560 or 0.99570?
if it's done, 60! Anna Maria Bigatti

15:43 CoCoALib Bug #1135 (Resolved): Compilaton with --debug configuration option gives errors

In an earlier version of CoCoALib the preprocessor symbol *@CoCoA_DEBUG@* contained an integer value: 1 gave standard... John Abbott

15:34 CoCoALib Bug #1135 (Closed): Compilaton with --debug configuration option gives errors

Configuring CoCoALib with the option *@--debug@* produces errors when compiling the library, and then later when runn... John Abbott

04 Dec 2017

18:03 CoCoALib Support #1134: Organize better the documentation for CoCoALib

One big disadvantage of the CoCoALib documentation compared to the CoCoA-5 documentation is the lack of "searchabilit... John Abbott

17:58 CoCoALib Support #1134 (New): Organize better the documentation for CoCoALib

So far we have (mostly) followed the guideline of documentation files corresponding 1--1 to source files.
Devise a... John Abbott

12:19 CoCoA-5 Bug #1055: CoCoAManual: duplication (2 pages for operators)

Now the "cocoa operators: introduction" is shorter (I commented out the part on priority, I'm not 100% sure...)
I a... Anna Maria Bigatti

11:20 CoCoA-5 Bug #697 (Feedback): Interpreter: Avoid outputting an empty line after each line of input

Anna Maria Bigatti

02 Dec 2017

10:05 CoCoA-5 Support #1061: Release: CoCoA-5.2.2

Some updates in the pages "dowload" (with link to google group) and "conferences" (with cocoa calendar) Anna Maria Bigatti

01 Dec 2017

17:26 CoCoA-5 Bug #1080 (Feedback): intersect: problem with zero generators

I added the function @EmbedPolyListNo0@ in @TmpGReductor.C@.
It does the same as @EmbedPolyList@ but skipping zero p... Anna Maria Bigatti

16:22 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers

Some more cleaning. Now list is clean and ready.
I have to find out how to invite others and to advertise the subsc... Anna Maria Bigatti

15:48 CoCoA-5 Design #1127: subalgebra package obsolete?

Mostly cleared: now it exports @SubalgebraHom@, and @SubalgebraRepr@ is obsolescent.
Exhaustive documentation shows... Anna Maria Bigatti

13:41 CoCoA-5 Design #1127 (In Progress): subalgebra package obsolete?

Anna Maria Bigatti

13:41 CoCoA-5 Design #1127: subalgebra package obsolete?

Indeed, we could just export @SubalgebraHom@ (pretty trivial function), and give some examples.
I'm a bit comfused t... Anna Maria Bigatti

12:04 CoCoA-5 Bug #1133 (Feedback): Radical bug

Found it.
In some point the GBasis is added to the gens list. Later the gens list is expected interreduced.
Fixed.... Anna Maria Bigatti

09:33 CoCoA-5 Bug #1133 (Closed): Radical bug

... Anna Maria Bigatti

30 Nov 2017

17:32 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

Improve the code adding weights and homogenization...
should be trivial...
(I will do it) Anna Maria Bigatti

10:04 CoCoALib Feature #1132: Canonical homomorphism for (some) polynomial rings?

JAA thinks that *@CanonicalHom@* should be fairly general, and not just a "single-step".
Perhaps the "single-step" v... John Abbott

09:28 CoCoALib Feature #1132 (New): Canonical homomorphism for (some) polynomial rings?

It would be convenient to have an automatic homomorphism P1 -> P2 (differing only for ordering)
which effectively is... Anna Maria Bigatti

29 Nov 2017

21:39 CoCoALib Feature #1131 (In Progress): Sturm sequence

I have checked in a first impl. It seems to work on a couple of simple tests.
The main problem is that it produce... John Abbott

21:35 CoCoALib Feature #1131 (Closed): Sturm sequence

Added fn to compute a Sturm Seq, and to count the number of real roots (between two points?) John Abbott

16:13 CoCoALib Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?

this gives error (general code is for fields)... Anna Maria Bigatti

28 Nov 2017

18:06 CoCoA-5 Feature #1129: Generic Timeout for CoCoA-5?

The interface @SetTimeout@ and @UnsetTimeout@ is simple to understand. *BUT* it does imply use of a global variable ... John Abbott

16:05 CoCoA-5 Feature #1129: Generic Timeout for CoCoA-5?

John Abbott wrote:
> In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops... Anna Maria Bigatti

15:22 CoCoA-5 Feature #1129 (In Progress): Generic Timeout for CoCoA-5?

In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops the "time bomb".
So ... John Abbott

15:17 CoCoA-5 Feature #1129 (In Progress): Generic Timeout for CoCoA-5?

CoCoALib has a generic "timeout" facility (via objects of type *@CpuTimeLimit@*).
Can something easy-to-use be por... John Abbott

14:56 CoCoA-5 Bug #1032: IsInRadical: fragile code

My guess (I do not know the code) is that there is something optimized for monomial ideals...
Anyway, just looking... Anna Maria Bigatti

14:04 CoCoA-5 Bug #1032 (Resolved): IsInRadical: fragile code

Most of these problems have been resolved by porting the code to CoCoALib (thanks to Alice Moallemy, Marvin Brandenst... John Abbott

27 Nov 2017

09:15 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis

Added interreduction (in CoCoA5 package) Anna Maria Bigatti

25 Nov 2017

10:42 CoCoALib Feature #361 (Closed): implement IsPrime3, IsMaximal3

Anna Maria Bigatti

10:38 CoCoALib Design #924: FlagManager for bool/bool3 flags

Suggested names for the functions modifying this:
@ComputeAndSetIsPrime3@, @ComputeAndSetIsMaximal3@, ...
Better ... Anna Maria Bigatti

10:30 CoCoALib Design #924: FlagManager for bool/bool3 flags

For ideals John suggested:
#899#note-7
Anna:
#899#note-5 Anna Maria Bigatti

24 Nov 2017

17:21 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis

Understood (probably) what the interface was meant to be.
Written test code, seems to work well :-)
Final interre... Anna Maria Bigatti

17:03 CoCoA-5 Design #1128 (Closed): HomomorphismFns.cpkg5 no longer needed?

The main functions from *@HomomorphismFns.cpkg5@* have been ported to CoCoALib, so the package appears no longer to s... John Abbott

17:00 CoCoA-5 Design #1127: subalgebra package obsolete?

If I have understood what the 2 exported fns from @subalgebra.cpkg5@ do, then they seems to be "obsolete" to me (supe... John Abbott

16:58 CoCoA-5 Design #1127 (Closed): subalgebra package obsolete?

Is the *@subalgebra.cpkg5@* package obsolete now that we have homomorphism fns in CoCoALib? John Abbott

15:28 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

What is the status of this issue? Isn't it nearly finished?
Related to thi is the use of @PreImage@ in some CoCoA... John Abbott

20 Nov 2017

22:31 CoCoA-5 Bug #545 (Closed): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors

Now using 10.11.
There are still some warning (lots), but compilation has been working fine for ages now.
Closing. Anna Maria Bigatti

22:14 CoCoA-5 Bug #545 (Feedback): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors

Anna Maria Bigatti

22:01 CoCoA-5 Design #1123 (Feedback): Should "minimalize" be obsolescent?

Trying to "save" it and postponing it, I wasted time.
I realized that the CoCoALib function @myMinimalize@ is just a... Anna Maria Bigatti

16:12 CoCoALib Feature #730 (Closed): Stats in GBMill (GReductor)

Closing this issue.
May be improved, but it is acceptable for the general requirement.
I needed make a more specifi... Anna Maria Bigatti

16:07 CoCoALib Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib

Anna Maria Bigatti

15:49 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens

As for ideals. Anna Maria Bigatti

15:47 CoCoA-5 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?

Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@. Anna Maria Bigatti

14:06 CoCoALib Design #908: Sum of ideals: what are the generators of (x) + (0)?

I have met this problem in a particular context (hyperplane arrangements).
We constructed an ideal and then asked @S... Anna Maria Bigatti