Activity
From 18 Nov 2017 to 17 Dec 2017
17 Dec 2017
- 17:14 Support #1099: MinPolyQuot: missing doc
- True... I'm undecided where to put it. @RingElem.txt@?
16 Dec 2017
- 15:19 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 Bug #1143: Polynomial multiplication wrong for non integral rings
- added test for cocoalib (in test-SparsePolyRing1)
cvs-ed - 18:50 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 Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings
- In cocoa-5 syntax...
- 18:09 Feature #1090: ExternaLib-MathSAT: first prototype
- added documentation in cocoa-5
- 17:35 Feature #1090: ExternaLib-MathSAT: first prototype
- Added documentation in CoCoALib
- 17:04 Feature #1090: ExternaLib-MathSAT: first prototype
- Cleaned up examples (now 2 examples).
- 17:30 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 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 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 Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction)
- 16:39 Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
- 16:37 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 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 Support #1058 (Feedback): CoCoALib version in Documentation and Examples
- Dona, using sed.
- 15:18 Feature #37 (Closed): matrix constructors
- 15:16 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 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
- 14:29 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...
07 Dec 2017
- 17:42 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...
06 Dec 2017
- 13:43 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)... - 13:33 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 ...
05 Dec 2017
- 16:07 Bug #1135: Compilaton with --debug configuration option gives errors
- > Should the target version be 0.99560 or 0.99570?
if it's done, 60! - 15:43 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...
- 15:34 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...
04 Dec 2017
- 18:03 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...
- 17:58 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...
30 Nov 2017
- 17:32 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- Improve the code adding weights and homogenization...
should be trivial...
(I will do it) - 10:04 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... - 09:28 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...
29 Nov 2017
- 21:39 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... - 21:35 Feature #1131 (Closed): Sturm sequence
- Added fn to compute a Sturm Seq, and to count the number of real roots (between two points?)
- 16:13 Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?
- this gives error (general code is for fields)...
27 Nov 2017
- 09:15 Feature #1094: Revive code for SelfSaturating GBasis
- Added interreduction (in CoCoA5 package)
25 Nov 2017
- 10:42 Feature #361 (Closed): implement IsPrime3, IsMaximal3
- 10:38 Design #924: FlagManager for bool/bool3 flags
- Suggested names for the functions modifying this:
@ComputeAndSetIsPrime3@, @ComputeAndSetIsMaximal3@, ...
Better ... - 10:30 Design #924: FlagManager for bool/bool3 flags
- For ideals John suggested:
#899#note-7
Anna:
#899#note-5
24 Nov 2017
- 17:21 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... - 15:28 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...
20 Nov 2017
- 16:12 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... - 16:07 Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- 15:49 Feature #1126 (Closed): New function: SubmoduleOfMinGens
- As for ideals.
- 14:06 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...
Also available in: Atom