Activity
From 09 Dec 2017 to 07 Jan 2018
23 Dec 2017
-
22:33 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- It seems that there should be an extra include directive in @BuiltinFunctions.C@:...
22 Dec 2017
-
08:34 CoCoA-5 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...
21 Dec 2017
-
13:35 CoCoA-5 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... -
11:56 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- compared CoCoATranslationTable with wordlist: consequent updates and fixes in both
20 Dec 2017
-
18:25 CoCoA-5 Bug #755: Find out how to compile statically on linux
- for Anna: remember readline.a!!!!!
-
15:51 CoCoALib Feature #630 (Closed): Add graeffe function?
-
15:48 CoCoALib Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings
-
12:25 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- More updates to TranslationTAble
-
09:39 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- Fixed: it was just an "ARG ( 3)" instead of "ARG ( 1)" in BuiltinFunctions...
-
09:06 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- Anna Maria Bigatti wrote:
> bug in IsInImage (from cocoa5).
> [...]
working on it, very strange: code looks hone... -
08:53 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- bug in IsInImage (from cocoa5)....
-
08:47 CoCoALib Feature #1001 (Closed): CoCoALib: ideas for student projects
- copied comments into equivalent issue #242 "Projects for students: crediti F and tesi"
-
08:45 CoCoA-5 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...
19 Dec 2017
-
18:22 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- some work on translation table
-
17:23 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- passed ManExamples
-
17:07 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- going through @time make ManExamples@
-
07:50 CoCoALib Support #1058 (Closed): CoCoALib version in Documentation and Examples
-
07:50 CoCoALib Feature #1090 (Closed): ExternaLib-MathSAT: first prototype
-
07:49 CoCoALib Bug #1143 (Feedback): Polynomial multiplication wrong for non integral rings
- John fixed @DistrMPolyClean@ and @DistrMPolyInlPP@ (DMPII is only for coefficient in a field).
-
07:45 CoCoALib Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2
- We have used different styles:
MatrixOperations, RegisterServerOps
choose and rename
-
07:44 CoCoALib Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1
-
07:44 CoCoALib Design #1144: File names, coding conventions: Fns, Ops, Operations? part 1
- HomomorphismFns renamed into HomomorphismOps: changed H,C,doc, makefiles, example, test in cocoalib and cocoa5.
Jo...
18 Dec 2017
-
09:35 CoCoALib Design #1144 (In Progress): File names, coding conventions: Fns, Ops, Operations? part 1
- My preferred is *Ops*.
I would change for 0.99560 only the new file @HomomorphismFns@, and postpone the other choice... -
09:31 CoCoALib Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1
- We have used different styles:
MatrixOperations, HomomorphismFns, RegisterServerOps
unify style.
17 Dec 2017
-
17:14 CoCoALib Support #1099: MinPolyQuot: missing doc
- True... I'm undecided where to put it. @RingElem.txt@?
-
17:07 CoCoA-5 Design #1127: subalgebra package obsolete?
- Now it also exports @implicit@, which is computed via @ker_H@.
-
17:00 CoCoA-5 Design #1128 (Feedback): HomomorphismFns.cpkg5 no longer needed?
- removed
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 ...
15 Dec 2017
-
19:02 CoCoALib Bug #1143: Polynomial multiplication wrong for non integral rings
- added test for cocoalib (in test-SparsePolyRing1)
cvs-ed -
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. -
18:48 CoCoALib Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings
- In cocoa-5 syntax...
-
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... -
18:33 CoCoA-5 Feature #1142 (Closed): NewZZmod: port to CoCoA-5
- NewZZmod allows big integers, and non-primes.
-
18:09 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype
- added documentation in cocoa-5
-
17:35 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype
- Added documentation in CoCoALib
-
17:04 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype
- Cleaned up examples (now 2 examples).
-
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...
-
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 ... -
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...
-
16:42 CoCoALib Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction)
-
16:39 CoCoALib Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
-
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...
-
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... -
16:25 CoCoALib Support #1058 (Feedback): CoCoALib version in Documentation and Examples
- Dona, using sed.
-
16:20 CoCoA-5 Support #1000 (Closed): CoCoAManual for "all cocoa commands"
-
15:57 CoCoA-5 Feature #1073 (Closed): RelNotes: current version or all previous versions?
-
15:53 CoCoA-5 Design #1127 (Closed): subalgebra package obsolete?
-
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... -
15:41 CoCoA-5 Support #1074 (Closed): CoCoAManual: entry for radical
-
15:37 CoCoA-5 Bug #1032 (Closed): IsInRadical: fragile code
-
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:... -
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...
-
15:18 CoCoALib Feature #37 (Closed): matrix constructors
-
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@
-
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...
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...
-
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... -
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... -
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 ...
-
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...
13 Dec 2017
-
16:40 CoCoA-5 Feature #1073 (Feedback): RelNotes: current version or all previous versions?
- Done.
Documented -
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... -
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... -
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@...
12 Dec 2017
-
19:32 CoCoA-5 Bug #1139: Radical problems
- another...
-
17:15 CoCoA-5 Bug #1139: Radical problems
- Much like the example above:...
-
16:58 CoCoA-5 Bug #1139: Radical problems
- Here is another case where things go wrong:...
-
15:06 CoCoA-5 Bug #1139: Radical problems
- The problem seems to be when the ideal contains 1....
-
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....
-
15:36 CoCoA-5 Design #1137 (Closed): Latex: ideal
- It seems OK to me. Closing.
I have improved the manual entry slightly.
-
11:01 CoCoA-5 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
11 Dec 2017
-
19:21 CoCoA-5 Design #1092 (Closed): Design issues for discussion in July 2017
-
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. -
19:19 CoCoA-5 Bug #1133 (Closed): Radical bug
-
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... -
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... -
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.
-
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. -
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... -
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... -
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... -
18:03 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers
- more experiments, added logo in the google page.
-
18:01 CoCoA-5 Design #1123 (Closed): Should "minimalize" be obsolescent?
-
17:58 CoCoA-5 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
-
17:53 CoCoA-5 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- added tests
closing
-
17:41 CoCoA-5 Bug #1080: intersect: problem with zero generators
- added test in exbugs.
-
17:11 CoCoA-5 Bug #1080 (Closed): intersect: problem with zero generators
-
17:10 CoCoA-5 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
-
17:08 CoCoA-5 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
-
17:06 CoCoA-5 Design #1137 (Feedback): Latex: ideal
- documentation done.
-
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... -
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...
-
16:42 CoCoA-5 Design #1075 (In Progress): LaTeX package: power-product printing
-
16:45 CoCoA-5 Design #1138 (New): Latex: matrix
- Should we use matrix instead of array?
Also available in: Atom