Activity
From 17 Nov 2017 to 16 Dec 2017
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... - 18:33 Feature #1142 (Closed): NewZZmod: port to CoCoA-5
- NewZZmod allows big integers, and non-primes.
- 16:20 Support #1000 (Closed): CoCoAManual for "all cocoa commands"
- 15:57 Feature #1073 (Closed): RelNotes: current version or all previous versions?
- 15:53 Design #1127 (Closed): subalgebra package obsolete?
- 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... - 15:41 Support #1074 (Closed): CoCoAManual: entry for radical
- 15:37 Bug #1032 (Closed): IsInRadical: fragile code
- 15:36 Slug #1141 (New): IsInRadical: for monomial ideals
- Make a faster impl for monomial ideals.
Here is a contrived example of a slug:... - 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...
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...
- 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... - 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... - 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 ...
13 Dec 2017
- 16:40 Feature #1073 (Feedback): RelNotes: current version or all previous versions?
- Done.
Documented - 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... - 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... - 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@...
12 Dec 2017
- 19:32 Bug #1139: Radical problems
- another...
- 17:15 Bug #1139: Radical problems
- Much like the example above:...
- 16:58 Bug #1139: Radical problems
- Here is another case where things go wrong:...
- 15:06 Bug #1139: Radical problems
- The problem seems to be when the ideal contains 1....
- 14:58 Bug #1139 (Closed): Radical problems
- There are still problems with radical: sometimes it gives an empty list instead of an ideal....
- 15:36 Design #1137 (Closed): Latex: ideal
- It seems OK to me. Closing.
I have improved the manual entry slightly.
- 11:01 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
11 Dec 2017
- 19:21 Design #1092 (Closed): Design issues for discussion in July 2017
- 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. - 19:19 Bug #1133 (Closed): Radical bug
- 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... - 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... - 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.
- 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. - 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... - 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... - 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... - 18:03 Feature #1119: Mailing list for CoCoAUsers
- more experiments, added logo in the google page.
- 18:01 Design #1123 (Closed): Should "minimalize" be obsolescent?
- 17:58 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
- 17:53 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- added tests
closing
- 17:41 Bug #1080: intersect: problem with zero generators
- added test in exbugs.
- 17:11 Bug #1080 (Closed): intersect: problem with zero generators
- 17:10 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
- 17:08 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
- 17:06 Design #1137 (Feedback): Latex: ideal
- documentation done.
- 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... - 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...
- 16:42 Design #1075 (In Progress): LaTeX package: power-product printing
- 16:45 Design #1138 (New): Latex: matrix
- Should we use matrix instead of array?
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... - 11:20 Bug #697 (Feedback): Interpreter: Avoid outputting an empty line after each line of input
02 Dec 2017
- 10:05 Support #1061: Release: CoCoA-5.2.2
- Some updates in the pages "dowload" (with link to google group) and "conferences" (with cocoa calendar)
01 Dec 2017
- 17:26 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... - 16:22 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... - 15:48 Design #1127: subalgebra package obsolete?
- Mostly cleared: now it exports @SubalgebraHom@, and @SubalgebraRepr@ is obsolescent.
Exhaustive documentation shows... - 13:41 Design #1127 (In Progress): subalgebra package obsolete?
- 13:41 Design #1127: subalgebra package obsolete?
- Indeed, we could just export @SubalgebraHom@ (pretty trivial function), and give some examples.
I'm a bit comfused t... - 12:04 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.... - 09:33 Bug #1133 (Closed): Radical bug
- ...
28 Nov 2017
- 18:06 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 ...
- 16:05 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... - 15:22 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 ... - 15:17 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... - 14:56 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... - 14:04 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...
24 Nov 2017
- 17:03 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...
- 17:00 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...
- 16:58 Design #1127 (Closed): subalgebra package obsolete?
- Is the *@subalgebra.cpkg5@* package obsolete now that we have homomorphism fns in CoCoALib?
20 Nov 2017
- 22:31 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. - 22:14 Bug #545 (Feedback): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- 22:01 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... - 15:47 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?
- Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@.
Also available in: Atom