CoCoA

08 Nov 2017

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

Should this issue be postponed?
John Abbott

18:37 CoCoALib 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 CoCoALib 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 CoCoALib Bug #593 (Closed): Temporary directories used during configuration

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

18:13 CoCoALib 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 CoCoALib 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 CoCoALib Design #789 (Closed): NumTheory: behaviour of InvMod when inverse does not exist

John Abbott

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

John Abbott

17:08 CoCoALib 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 CoCoALib Bug #1081 (Closed): ideal() * RingElem gives error

John Abbott

16:59 CoCoALib 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 CoCoALib Bug #1081: ideal() * RingElem gives error

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

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

John Abbott

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

John Abbott

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

John Abbott

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

John Abbott

15:59 CoCoALib 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 CoCoALib Slug #1118 (In Progress): SLUG: factorization of x^9999

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

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

John Abbott

14:38 CoCoALib 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 CoCoALib Feature #1052 (Feedback): ReadExpr(P, string) and RingElem(P, string) in CoCoALib

JAA has updated all tests. John Abbott

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

John Abbott

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

John Abbott

14:12 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1035 (Closed): Improvement: how to sort QuotientBasis?

John Abbott

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

John Abbott

15:49 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)

John Abbott

15:24 CoCoALib 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 CoCoALib Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)

John Abbott

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

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

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

John Abbott

14:59 CoCoA-5 Design #1116 (New): Port RowMat, ColMat, MatByRows,... to CoCoA-5

There are functions in CoCoALib for
RowMat, ColMat, MatByRows,...
port them to CoCoA-5 (instead of the ones writte... Anna Maria Bigatti

14:41 CoCoALib 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 CoCoALib 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 CoCoALib Feature #730 (Feedback): Stats in GBMill (GReductor)

John Abbott

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

John Abbott

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

John Abbott

03 Nov 2017

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

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

02 Nov 2017

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

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

31 Oct 2017

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

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

14:55 CoCoA-5 Slug #1114: Some other examples for 0-dim radical

Here are some examples where the radical is "large" compared to the original ideal:
(no doubt I generated them rando... John Abbott

14:54 CoCoA-5 Slug #1114: Some other examples for 0-dim radical

I am tidying up on my computer, but didn't want to lose these examples.... John Abbott

14:51 CoCoA-5 Slug #1114 (Closed): Some other examples for 0-dim radical

I gather here some example ideals where *@radical@* was slow.
These may be useful for future testing, "optimiziation... John Abbott

27 Oct 2017

17:45 CoCoALib 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 CoCoALib Design #703: Add more operations between modules (CoCoALib)

Reminder. Add +. Anna Maria Bigatti

11:33 CoCoA-5 Feature #1112 (Closed): New function: IsEmpty

add function @IsEmpty(L)@ for LIST.
Anna Maria Bigatti

25 Oct 2017

16:14 CoCoA-5 Support #1111: CoCoAManual: searching for ?? mat and for ?? matrix give different results

I was hoping to have an interesting issue with number 1111; instead it is just this... sigh!
My guess is that a Co... John Abbott

16:12 CoCoA-5 Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results

In CoCoA-5... John Abbott

13:29 CoCoALib 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

19 Oct 2017

17:12 CoCoA-5 Slug #1109 (In Progress): Emacs UI can be slow in M$ Windows

I searched on internet and found some descriptions of similar problems. The suggestion is to add the following line ... John Abbott

17:08 CoCoA-5 Slug #1109 (Closed): Emacs UI can be slow in M$ Windows

At the school in Cameroon I saw that some Microsoft Windows computers were terribly slow (_e.g._ 30s delay after each... John Abbott

17 Oct 2017

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

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

16:50 CoCoALib 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 CoCoALib 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 CoCoALib Feature #630 (Feedback): Add graeffe function?

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

16 Oct 2017

16:54 CoCoA-5 Feature #1107: CoCoA Online: install (using InteractiveShell)

First hard work: install properly vagrant.
(with the help of Alessandro Cartatone) Anna Maria Bigatti

16:49 CoCoA-5 Feature #1107 (New): CoCoA Online: install (using InteractiveShell)

install CoCoA Online (using InteractiveShell)
Anna Maria Bigatti