Project

General

Profile

Activity

From 03 Dec 2017 to 01 Jan 2018

23 Dec 2017

22:33 Support #1061: Release: CoCoA-5.2.2
It seems that there should be an extra include directive in @BuiltinFunctions.C@:... John Abbott

22 Dec 2017

08:34 Support #1061: Release: CoCoA-5.2.2
I spent yesterday afternoon trying (without succeeding to compile on linux).
I had updated the system (when I unsucc...
Anna Maria Bigatti

21 Dec 2017

13:35 Support #1061: Release: CoCoA-5.2.2
fixed some little bugs without a redmine issue.
Now (when I succed in cvs-ing from the virtual linux) I'll start com...
Anna Maria Bigatti
11:56 Support #1061: Release: CoCoA-5.2.2
compared CoCoATranslationTable with wordlist: consequent updates and fixes in both Anna Maria Bigatti

20 Dec 2017

18:25 Bug #755: Find out how to compile statically on linux
for Anna: remember readline.a!!!!! Anna Maria Bigatti
12:25 Support #1061: Release: CoCoA-5.2.2
More updates to TranslationTAble Anna Maria Bigatti
08:45 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)
*2022-04-25: COCOALIB PROJECTS REMAIN IN ISSUE #1001*
I recall from another equivalent issue (and close it https://c...
Anna Maria Bigatti

19 Dec 2017

18:22 Support #1061: Release: CoCoA-5.2.2
some work on translation table Anna Maria Bigatti
17:23 Support #1061: Release: CoCoA-5.2.2
passed ManExamples Anna Maria Bigatti
17:07 Support #1061: Release: CoCoA-5.2.2
going through @time make ManExamples@ Anna Maria Bigatti

17 Dec 2017

17:07 Design #1127: subalgebra package obsolete?
Now it also exports @implicit@, which is computed via @ker_H@. Anna Maria Bigatti
17:00 Design #1128 (Feedback): HomomorphismFns.cpkg5 no longer needed?
removed Anna Maria Bigatti

15 Dec 2017

18:37 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 Feature #1142 (Closed): NewZZmod: port to CoCoA-5
NewZZmod allows big integers, and non-primes. Anna Maria Bigatti
16:20 Support #1000 (Closed): CoCoAManual for "all cocoa commands"
John Abbott
15:57 Feature #1073 (Closed): RelNotes: current version or all previous versions?
John Abbott
15:53 Design #1127 (Closed): subalgebra package obsolete?
John Abbott
15:46 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 Support #1074 (Closed): CoCoAManual: entry for radical
John Abbott
15:37 Bug #1032 (Closed): IsInRadical: fragile code
John Abbott
15:36 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 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

14 Dec 2017

16:26 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 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 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 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

13 Dec 2017

16:40 Feature #1073 (Feedback): RelNotes: current version or all previous versions?
Done.
Documented
Anna Maria Bigatti
14:28 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 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 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 Bug #1139: Radical problems
another... Anna Maria Bigatti
17:15 Bug #1139: Radical problems
Much like the example above:... John Abbott
16:58 Bug #1139: Radical problems
Here is another case where things go wrong:... John Abbott
15:06 Bug #1139: Radical problems
The problem seems to be when the ideal contains 1.... John Abbott
14:58 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 Design #1137 (Closed): Latex: ideal
It seems OK to me. Closing.
I have improved the manual entry slightly.
John Abbott
11:01 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
John Abbott

11 Dec 2017

19:21 Design #1092 (Closed): Design issues for discussion in July 2017
Anna Maria Bigatti
18:00 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 Bug #1133 (Closed): Radical bug
Anna Maria Bigatti
19:19 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 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 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 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 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 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 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 Feature #1119: Mailing list for CoCoAUsers
more experiments, added logo in the google page. Anna Maria Bigatti
18:01 Design #1123 (Closed): Should "minimalize" be obsolescent?
Anna Maria Bigatti
17:58 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
Anna Maria Bigatti
17:53 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
added tests
closing
Anna Maria Bigatti
17:41 Bug #1080: intersect: problem with zero generators
added test in exbugs. Anna Maria Bigatti
17:11 Bug #1080 (Closed): intersect: problem with zero generators
Anna Maria Bigatti
17:10 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
Anna Maria Bigatti
17:08 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
Anna Maria Bigatti
17:06 Design #1137 (Feedback): Latex: ideal
documentation done. Anna Maria Bigatti
16:40 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 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 Design #1075 (In Progress): LaTeX package: power-product printing
Anna Maria Bigatti
16:45 Design #1138 (New): Latex: matrix
Should we use matrix instead of array? Anna Maria Bigatti

04 Dec 2017

12:19 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 Bug #697 (Feedback): Interpreter: Avoid outputting an empty line after each line of input
Anna Maria Bigatti
 

Also available in: Atom