CoCoA » CoCoALib

20 Dec 2017

15:51 Feature #630 (Closed): Add graeffe function?

John Abbott

15:48 Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings

John Abbott

09:39 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

Fixed: it was just an "ARG ( 3)" instead of "ARG ( 1)" in BuiltinFunctions... Anna Maria Bigatti

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

08:53 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

bug in IsInImage (from cocoa5).... Anna Maria Bigatti

08:47 Feature #1001 (Closed): CoCoALib: ideas for student projects

copied comments into equivalent issue #242 "Projects for students: crediti F and tesi" Anna Maria Bigatti

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