CoCoA » CoCoALib

17 Apr 2013

17:32 Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))

For many computations QQ[x] it is very convenient to remove denominators and perfom computations in ZZ[x].
There are... Anna Maria Bigatti

11:13 Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)

added test-JBMill1.C to CVS and to the Makefile
(commented out all "cout" to be tested silently) Anna Maria Bigatti

11 Apr 2013

16:57 Feature #337: Module homs

To create a module hom from @M1@ to @M2@ we must specify where each generator of @M1@ maps to. These could be specif... John Abbott

16:41 Feature #340 (Feedback): "configure" does not set BOOST if there are multiple copies in "standard" location

OK, I have modified *@configure@* in the CoCoALib root directory.
Let me know if it does what you expect.
John Abbott

09 Apr 2013

17:30 Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location

How can you have have multiple of copies of BOOST in the standard location?
Perhaps you mean that there are severa... John Abbott

17:08 Feature #340 (Closed): "configure" does not set BOOST if there are multiple copies in "standard" location

I thought that, with many BOOST to choose from @configure@ should give a warning (and a choice).
Apparently it doesn... Anna Maria Bigatti

16:01 Support #302: Compilation on M$Windows: Visual Studio

To the last problem for Windows 64:
size_t is there unsigned __int64, but long is still 32bit. I guess that is causi... Christof Soeger

08 Apr 2013

21:06 Design #339 (Closed): DenseUPolyClean uses size_t

@DenseUPolyClean@ uses @std::size_t@ both internally and in fn interfaces.
Is this really appropriate? If not, re... John Abbott

20:58 Feature #143: Buchberger-Moeller (parent task)

My old impls in CoCoA-4 returned a matrix as the result: the entries in the matrix are the coeffs of the basis elemen... John Abbott

12:28 Feature #143: Buchberger-Moeller (parent task)

JAA proposes offering two functions *@IdealOfPoints@* (for the affine case) and *@IdealOfProjectivePoints@* (for the ... John Abbott

12:10 Feature #143: Buchberger-Moeller (parent task)

What output do we want or need from the Buchberger-Moeller implementations?
# generators of the ideal (list of polyn... John Abbott

16:11 Feature #337 (New): Module homs

Implement module homs. John Abbott

15:31 Bug #335 (Closed): Equality of (sub)modules

Make equality testing of two (sub)modules work as it does for ideals
(_i.e._ using G-bases check both inclusions).
... John Abbott

05 Apr 2013

14:06 Feature #145: Buchberger-Moeller: fast modular impl

... and import cocoa-4 code
Anna Maria Bigatti