CoCoA » CoCoALib

16 Aug 2018

09:22 Design #1221 (Closed): Reconsider design for accessing headers and libs of external libraries

The current design for accessing headers of external libs more or less assumes that the external lib has a single hea... John Abbott

07:48 Feature #1219: Frobby version number

With the current design it is trickier than expected.
The main point is that the current design of CoCoALib assume... John Abbott

06:58 Feature #1219 (In Progress): Frobby version number

The Frobby version number (C string) is in @constants::version@ defined in @src/stdinc.h@ and @src/stdinc.cpp@.
Note... John Abbott

06:56 Feature #1219 (In Progress): Frobby version number

It is possible to get the version number from Frobby.
Modify @ExternalLibs.C@ so that it extracts Frobby's version n... John Abbott

09 Aug 2018

10:36 Support #1149 (Closed): Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)

Anna Maria Bigatti

08 Aug 2018

18:38 Feature #1218: 32-bit or 64-bit preprocessor macro?

Currently I use the following "trick" to hide code on 32-bit platforms:... John Abbott

18:33 Feature #1218 (Closed): 32-bit or 64-bit preprocessor macro?

To avoid compiler warnings etc. I have used (3 times so far) a CPP trick to "hide" code from 32-bit platforms (which ... John Abbott

06 Aug 2018

18:58 Feature #374: Porting "IdealOfProjectivePoints"

fixed bug: now result is homog Anna Maria Bigatti

18:11 Feature #374 (In Progress): Porting "IdealOfProjectivePoints"

Anna has done the work, but it gives obviously wrong result (not homog).
Here is a failing example:... John Abbott

18:22 Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)

valgrind tests OK!
Anna Maria Bigatti

16:16 Support #1195 (Rejected): Release: CoCoALib-0.99580 (together with CoCoA-5.2.4)

We have decided to call the release 0.99600 -- this is no longer relevant. Rejected this; closed.
See issue #1149
John Abbott

16:12 Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights

Decide what we really want for these two functions.
They are mostly OK. Anna Maria Bigatti

16:06 Slug #1105: Primary Decompositon (zero-dim) slow cases

Some things still to do (or consider doing):
# Compare speed with Singular
# using CpuTimeOut option, attempt to co... John Abbott

15:53 Slug #1105 (In Progress): Primary Decompositon (zero-dim) slow cases

Anna Maria Bigatti

15:31 Design #1184 (Resolved): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

After closing this, I changed my mind:
It is simpler to leave the in @SparsePolyOps-RingElem.C@.
As simple is good,... Anna Maria Bigatti

15:20 Design #1213: Create PolyOps-RingElem?

We should also check whether there are functions in *@SparsePolyOps-RingElem@* which should be moved here.
The mai... John Abbott

15:18 Design #1213 (New): Create PolyOps-RingElem?

Consider creating a new file *@PolyOps-RingElem@* to contain all functions on ringelems which belong to a polyring.
John Abbott

05 Aug 2018

18:30 Slug #1105: Primary Decompositon (zero-dim) slow cases

Moved to cocoalib, because now implemented in C++. Anna Maria Bigatti

18:26 Slug #1105: Primary Decompositon (zero-dim) slow cases

I have implemented in cocoalib the function @GBasisViaHomog@ (homog-->compute-->dehomog), as it was in the old cocoa... Anna Maria Bigatti

18:21 Feature #1212: New function: GBasisByHomog

Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition... Anna Maria Bigatti

16:41 Feature #1212 (Closed): New function: GBasisByHomog

Implement GBasis computation via homogenization Anna Maria Bigatti

16:19 Feature #966 (In Progress): New function or explain: first and last for a vector?

Anna Maria Bigatti

03 Aug 2018

18:11 Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)

John Abbott

18:09 Bug #1205 (Closed): SyzOfGens: bug with zero generators

John Abbott

17:55 Slug #1105: Primary Decompositon (zero-dim) slow cases

I have just tried the 9.16s example from comment 3. It now *does not finish* in a reasonable time for me.
Using v... John Abbott

17:41 Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim

John Abbott

17:40 Feature #901 (Closed): New function: PrimaryDecomposition0 in CoCoALib

Work was done but not registered here. Anna does not recall how many hours. John Abbott

17:37 Slug #1165 (Closed): MinPoly over QQ: verification may be very slow

John Abbott

17:31 Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring

John Abbott

17:28 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

What should the fn signature be? Should there be more than one signature?
* *(1)* @void coeffs(vector<RingElem& C, ... John Abbott

17:18 Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)

In @SparsePolyOps-MinPoly.C@ (near line 70) there is a private fn for computing the coeffs of a poly wrt to a PP basi... John Abbott

17:20 Bug #1211 (Closed): HilbertSeries should check grading

... Anna Maria Bigatti

17:16 Slug #1009 (Closed): coefficients for MinPoly e Frobenius

John Abbott

17:14 Feature #1209 (Closed): New function: HasPositiveGrading

It would be handy to have a function saying whether a polynomial ring (or a ppmonoid) has a positive grading.
This w... Anna Maria Bigatti

17:08 Feature #1005 (Closed): Makefile: install target for CoCoALib

*SUMMARY: it has not yet been tested much, but is probably safe enough to "close" this issue*
John Abbott

17:04 Design #1124 (Closed): Move examples directory into doc -- or just change makefile?

*SUMMARY: we leave @examples/@ directory where it is (as it is more visible to the user), and have created a special ... John Abbott

17:01 Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?

*SUMMARY: we have removed the version of @IsPositiveGrading@ which took 2 args*
(nobody seemed to need it, except pe... John Abbott

16:56 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

*SUMMARY: yes, @BigInter@ goes into the same file where the iterator class is defined* John Abbott

16:27 Design #1182 (Closed): "mod" for BigInt

*SOLUTION: improved the documentation*
Main point is that defn in C/C++ is deliberately ambiguous. JAA chose to d... John Abbott

16:18 Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files

John Abbott

16:17 Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2

*FINAL DECISION: we use the abbreviation @Ops@ for "operations"@
All files have been renamed; in some cases they hav... John Abbott

16:15 Design #410 (Closed): New file: BigRatOps

John Abbott

16:14 Feature #1154 (Closed): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime

*Aim effectively achieved by the new class @SmallPrime@*
(this is a cleaner and more general solution than one origi... John Abbott

16:11 Feature #1155 (Closed): Create a new "prime source" iterator

*SUMMARY*
*Created 5 new iterators for generating primes (or "almost primes")*
*Created new type @SmallPrime@*
... John Abbott

16:05 Feature #1131 (Closed): Sturm sequence

The impl ought to be generalized (to any "ordered field"). This is probably not an easy task, so let's wait until it... John Abbott

16:01 Design #1162 (Closed): Check semantics of NoSmallFactorSeq

John Abbott

15:56 Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)

John Abbott

15:53 Support #847 (Closed): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?

The doc has already been split. Everything has worked fine for 2 months. Closing.
John Abbott

14:32 Support #1099 (Closed): MinPolyQuot: missing doc

Anna Maria Bigatti

14:31 Bug #1199 (Closed): GCD bug with high degree arg

Anna Maria Bigatti