CoCoA » CoCoALib

08 Nov 2017

18:39 Feature #958: New function: multiplicity and dim

Should this issue be postponed?
John Abbott

18:37 Feature #1033 (Feedback): Split poly into homog parts

I think the *@CutLF@* function solves this issue.
Do you agree? If so, we can close the issue :-) John Abbott

18:31 Support #574 (Closed): Tidy CoCoA root directory

JAA thinks the current situation is acceptable, and does not see an easy way to improve it.
Closing.
John Abbott

18:16 Bug #593 (Closed): Temporary directories used during configuration

The scripts seems to work fine now.
Closing.
John Abbott

18:13 Feature #759 (Closed): Configuration: where to keep source for test compilations?

I think all scripts use here documents now.
Anyway, this issue can be closed. John Abbott

18:08 Bug #1078 (Closed): makefile: ungraceful when interrupted

I have not really tested this (as I do not often interrupt a @make@, especially during the rebuilding of the dependen... John Abbott

17:44 Design #789 (Closed): NumTheory: behaviour of InvMod when inverse does not exist

John Abbott

17:16 Feature #180 (Closed): GlobalManager: registration of global variables

John Abbott

17:08 Design #999 (Closed): configuration: include -std=c++03 by default?

I have not experienced any problem with compiling CoCoALib over the last 10 months, so presumably whatever I did is O... John Abbott

17:03 Bug #1081 (Closed): ideal() * RingElem gives error

John Abbott

16:59 Bug #1081: ideal() * RingElem gives error

John Abbott wrote:
> Should we allow ideals to be multiplied by integers or rational numbers?
I vote "no"
*JAA... Anna Maria Bigatti

14:18 Bug #1081: ideal() * RingElem gives error

Should we allow ideals to be multiplied by integers or rational numbers?... John Abbott

17:00 Support #1097 (Closed): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere

John Abbott

16:33 Feature #638 (Closed): Time limit: let user specify time limit for a computation

John Abbott

16:31 Design #1086 (Closed): New design for interrupt mechanism

John Abbott

16:29 Feature #962 (Closed): General verbose mode?

John Abbott

15:59 Slug #881 (Closed): ReadExpr is too slow on large polys

I have just tested it now, and it seems adequately fast (until someone needs really big polys).
Reading @Chebyshev... John Abbott

15:18 Slug #1118 (In Progress): SLUG: factorization of x^9999

CoCoA is slow at factorizing high powers of @x@. For example:... John Abbott

14:39 Bug #1088 (Closed): MinPolyQuot: runs out of primes

John Abbott

14:38 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib

Does this change make the file @RingElemInput@ obsolete?
At least the function *@ReadExpr@* should be regarded as ob... John Abbott

14:37 Feature #1052 (Feedback): ReadExpr(P, string) and RingElem(P, string) in CoCoALib

JAA has updated all tests. John Abbott

14:24 Design #1063 (Closed): Catching an (expected) error

John Abbott

14:22 Design #1065 (Closed): Design: should we allow an ideal to change ring?

John Abbott

14:12 Bug #1082 (Closed): factor in ZZ[x] gives errors

Why didn't I give at least one failing example?
Anyway, it seems OK now... so closing.
John Abbott

07 Nov 2017

13:39 Feature #1117 (In Progress): Better printing of negative coeffs

JAA suggests that we handle integer and rational coeffs specially; all other coeffs are handled in a generic way.
He... John Abbott

12:34 Feature #1117 (In Progress): Better printing of negative coeffs

Currently CoCoALib prints out polys wth negative rational coeffs in an ugly way:... John Abbott

06 Nov 2017

16:48 Bug #756 (Closed): frobby (v0.9.0) does not compile with g++-4.8

JAA has a temporary version of FROBBY available in @frobby_v0.9.3.tgz@
This seems to avoid the portability problem... John Abbott

16:43 Bug #975: configure: possibly ignore GMP compilation flags

I have made a preliminary version of @configure@ and various auxiliary scripts which do not expect extra CXXFLAGS for... John Abbott

15:53 Feature #1035 (Closed): Improvement: how to sort QuotientBasis?

John Abbott

15:50 Feature #1102 (Closed): Implement RootBound

John Abbott

15:49 Feature #255 (Closed): Use BOOST lib default location if possible

JAA thinks this has already been resolved adequately in the intervening 5 years.
Closing.
John Abbott

15:31 Feature #796 (Closed): CoCoALib function for radical (or SqFree) of a polynomial

OK, let's use *@radical@* then (both for ideals and ring elements); it is the clearest.
Closing.
John Abbott

15:20 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial

John Abbott wrote:
> It seems that this issue is practically finished except for the questoon of the name of the fun... Anna Maria Bigatti

14:24 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial

It seems that this issue is practically finished except for the questoon of the name of the function.
The main choic... John Abbott

15:27 Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)

John Abbott

15:24 Support #574 (Resolved): Tidy CoCoA root directory

I think this has been mostly done.
There is no longer the GPLv2 file, no any file called @INSTALL@ (but there is @... John Abbott

15:15 Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)

John Abbott

15:12 Feature #979 (Closed): SmallestNonDivisor -- new fn

This is apparently complete (also included in CoCoA-5).
John Abbott

15:06 Bug #1101 (Feedback): Bug in MinPolyModular (insufficient rational reconstruction)

John Abbott

14:41 Feature #37: matrix constructors

*MatByRows/Cols* is now available in CoCoALib.
All other questions have been dealt with, more or less directly.
Anna Maria Bigatti

14:31 Feature #37: matrix constructors

This issue is a bit strange -- it is now quite old, and of questionable relevance now.
Perhaps we should just clos... John Abbott

14:06 Feature #730 (Feedback): Stats in GBMill (GReductor)

John Abbott

13:56 Slug #881 (Feedback): ReadExpr is too slow on large polys

John Abbott

13:48 Feature #962 (Feedback): General verbose mode?

John Abbott

03 Nov 2017

12:38 Bug #1113: gcd crashes (Floating point exception)

Here is another example (possibly simpler than the previous one?):... John Abbott

02 Nov 2017

13:19 Feature #1115 (In Progress): New class: exterior algebra

Add this new class, mimicking @RingWeyl@.
Anna Maria Bigatti

31 Oct 2017

15:36 Slug #1105: Primary Decompositon (zero-dim) slow cases

Here are some examples I found lying around in a file:... John Abbott

27 Oct 2017

17:45 Bug #1113 (Closed): gcd crashes (Floating point exception)

In an old file (from 2006) I found two examples where GCD (in CoCoA4) crashes because it runs out of primes; since we... John Abbott

11:53 Design #703: Add more operations between modules (CoCoALib)

Reminder. Add +. Anna Maria Bigatti

25 Oct 2017

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

CoCoA-5 can be much faster as computing @det(M)@ if @RingOf(M)@ is @ZZ@ than the same matrix but over the ring @QQ@.
... John Abbott

17 Oct 2017

17:15 Feature #1108 (Resolved): New fn: IsCoprime (whenever gcd makes sense)

I have written a first trivial implementation. Seems to work.
John Abbott

16:50 Feature #1108: New fn: IsCoprime (whenever gcd makes sense)

The fn should be defined when *@gcd@* makes sense (_i.e._ for true GCD domains and @BigInt@).
At the moment I pref... John Abbott

16:48 Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)

Define a new fn *@IsCoprime@* which is equivalent to *@IsInvertible(gcd(arg1, arg2))@*
JAA thinks it is better to ... John Abbott

15:47 Feature #630 (Feedback): Add graeffe function?

Added code; doc; example.
Also made accessible to CoCoA-5.
John Abbott