Project

General

Profile

Activity

From 20 Nov 2017 to 19 Dec 2017

19 Dec 2017

07:50 Support #1058 (Closed): CoCoALib version in Documentation and Examples
Anna Maria Bigatti
07:50 Feature #1090 (Closed): ExternaLib-MathSAT: first prototype
Anna Maria Bigatti
07:49 Bug #1143 (Feedback): Polynomial multiplication wrong for non integral rings
John fixed @DistrMPolyClean@ and @DistrMPolyInlPP@ (DMPII is only for coefficient in a field). Anna Maria Bigatti
07:45 Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2
We have used different styles:
MatrixOperations, RegisterServerOps
choose and rename
Anna Maria Bigatti
07:44 Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1
Anna Maria Bigatti
07:44 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...
Anna Maria Bigatti

18 Dec 2017

09:35 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...
Anna Maria Bigatti
09:31 Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1
We have used different styles:
MatrixOperations, HomomorphismFns, RegisterServerOps
unify style.
Anna Maria Bigatti

17 Dec 2017

17:14 Support #1099: MinPolyQuot: missing doc
True... I'm undecided where to put it. @RingElem.txt@?
Anna Maria Bigatti

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 ...
John Abbott

15 Dec 2017

19:02 Bug #1143: Polynomial multiplication wrong for non integral rings
added test for cocoalib (in test-SparsePolyRing1)
cvs-ed
Anna Maria Bigatti
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.
Anna Maria Bigatti
18:48 Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings
In cocoa-5 syntax... Anna Maria Bigatti
18:09 Feature #1090: ExternaLib-MathSAT: first prototype
added documentation in cocoa-5
Anna Maria Bigatti
17:35 Feature #1090: ExternaLib-MathSAT: first prototype
Added documentation in CoCoALib Anna Maria Bigatti
17:04 Feature #1090: ExternaLib-MathSAT: first prototype
Cleaned up examples (now 2 examples).
Anna Maria Bigatti
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... John Abbott
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 ...
John Abbott
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... John Abbott
16:42 Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction)
John Abbott
16:39 Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
John Abbott
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... John Abbott
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...
Anna Maria Bigatti
16:25 Support #1058 (Feedback): CoCoALib version in Documentation and Examples
Dona, using sed.
Anna Maria Bigatti
15:18 Feature #37 (Closed): matrix constructors
John Abbott
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@ John Abbott
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...
John Abbott

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... Anna Maria Bigatti

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... Anna Maria Bigatti

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)...
John Abbott
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 ...
John Abbott

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!
Anna Maria Bigatti
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... John Abbott
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... John Abbott

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... John Abbott
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...
John Abbott

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)
Anna Maria Bigatti
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...
John Abbott
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...
Anna Maria Bigatti

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...
John Abbott
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?) John Abbott
16:13 Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?
this gives error (general code is for fields)... Anna Maria Bigatti

27 Nov 2017

09:15 Feature #1094: Revive code for SelfSaturating GBasis
Added interreduction (in CoCoA5 package) Anna Maria Bigatti

25 Nov 2017

10:42 Feature #361 (Closed): implement IsPrime3, IsMaximal3
Anna Maria Bigatti
10:38 Design #924: FlagManager for bool/bool3 flags
Suggested names for the functions modifying this:
@ComputeAndSetIsPrime3@, @ComputeAndSetIsMaximal3@, ...
Better ...
Anna Maria Bigatti
10:30 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 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
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...
John Abbott

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...
Anna Maria Bigatti
16:07 Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
Anna Maria Bigatti
15:49 Feature #1126 (Closed): New function: SubmoduleOfMinGens
As for ideals. Anna Maria Bigatti
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...
Anna Maria Bigatti
 

Also available in: Atom