CoCoA

16 Nov 2017

17:13 CoCoALib Design #1125: Separate install script for CoCoALib?

A crucial aspect is passing to the script all the values it will need (including a path which might contain awkward c... John Abbott

16:38 CoCoALib Design #1125 (New): Separate install script for CoCoALib?

The @install@ target in the top @Makefile@ for CoCoALib is about 70 lines long.
It would probably be better to mak... John Abbott

16:36 CoCoA-5 Design #1123 (In Progress): Should "minimalize" be obsolescent?

I prefer @minimalize@ to be made obsolescent; instead one should use @I := IdealOfMinGens(I)@ which is longer to writ... John Abbott

11:54 CoCoA-5 Design #1123 (Closed): Should "minimalize" be obsolescent?

minimalized --> done.
what about minimalized?
Anna Maria Bigatti

16:32 CoCoALib Design #1124: Move examples directory into doc -- or just change makefile?

If we do move @examples/@ into @doc/@ then presumably this should also be the case for an installed version of CoCoAL... John Abbott

15:24 CoCoALib Design #1124 (In Progress): Move examples directory into doc -- or just change makefile?

Anna was concerned that "hiding" @examples/@ inside @doc/@ might make it less visible; but apart from that doubt she ... John Abbott

15:22 CoCoALib Design #1124 (Closed): Move examples directory into doc -- or just change makefile?

After having improved the installation procedure for CoCoALib, it seems better/cleaner/more natural to put the direct... John Abbott

15:20 CoCoALib Feature #1005: Makefile: install target for CoCoALib

Before installing CoCoA you must compile *both* the library *and* the documentation (incl. @examples/index.html@).
T... John Abbott

15 Nov 2017

18:11 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input

Seems OK to me.
Let's worry later (if at all) about outputting a newline if the last print line didn't have one...... John Abbott

17:43 CoCoA-5 Feature #1011 (Closed): Random seed fn

John Abbott

17:40 CoCoA-5 Design #939 (Closed): Rename Fact to factorial?

Moved. Closing.
John Abbott

17:23 CoCoA-5 Design #939: Rename Fact to factorial?

The advantage of moving @Fact@ (and @Factorial@?) to @obsolescent.cpkg5 is that users will get a message telling them... John Abbott

17:39 CoCoA-5 Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5

I have just run the CoCoA-5 tests with @BackwardCompatible.cpkg5@ moved to different place. All tests passed.
Ye... John Abbott

17:36 CoCoA-5 Feature #978: CommonDenom: for polys and lists?

Work on "ideals mod p" still in progress.
Postpone to next version. Anna Maria Bigatti

17:19 CoCoA-5 Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces

I have implemented Approach (3).
Should we tell the public that double-quotes are "ignored" when searching in the ... John Abbott

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

I have been using CoCoA-5 inside emacs for over a month with the new line added to @cocoa5.emacs@, and have not notic... John Abbott

17:02 CoCoA-5 Design #1067 (Closed): "Randomize" and "Randomized" obsolete?

I shall close this issue, and create a new issue about creating @RandomLinearForm@.
John Abbott

17:01 CoCoA-5 Feature #1122 (Closed): New fn: RandomLinearForm

Should we add a new function *@RandomLinearForm@*?
What should its arg(s) be?
Split off from issue #1067.
John Abbott

16:54 CoCoALib Design #908: Sum of ideals: what are the generators of (x) + (0)?

I have spoken briefly to Renzo about this.
He thinks it is most natural if @gens(ideal(L)) = L@ always.
Ideal s... John Abbott

14:57 CoCoA-5 Slug #1025 (In Progress): Example of slow LEX GBasis computation

Here is a zero-dim ideal with simple DegRevLex RGB... John Abbott

13 Nov 2017

18:10 CoCoA-5 Design #939: Rename Fact to factorial?

John Abbott wrote:
> Why not make @Fact@ obsolescent?
> Surely it is a good idea to encourage users to move away fr... Anna Maria Bigatti

15:53 CoCoA-5 Design #939: Rename Fact to factorial?

Why not make @Fact@ obsolescent?
Surely it is a good idea to encourage users to move away from @Fact@ to @factorial@... John Abbott

17:00 CoCoA-5 Bug #712: External Libs: missing dependencies in Makefiles

I'm not even sure if it is worth trying to resolve this... :-/
John Abbott

15:59 CoCoA-5 Bug #1060 (Closed): describe ring: add final newline

John Abbott

15:58 CoCoA-5 Bug #670 (Closed): Error column indicator misaligned with non-printing (unprintable) characters

John Abbott

15:57 CoCoA-5 Bug #981 (Closed): SqFreeFactor: small (or big) bug?

John Abbott

15:49 CoCoA-5 Support #265 (Closed): Linking problems in CoCoA-5 GUI

Grrr! I don't enjoy maintaining the GUI code.
No one else can compile it, as far as I know.
I don't recall having ... John Abbott

15:46 CoCoA-5 Slug #741 (Closed): C5 GUI: slow to close

I don't know who else can test this. I hardly ever use the GUI; does anyone else?
Closing.
John Abbott

15:43 CoCoA-5 Feature #1084 (Closed): New function: PrevPrime

Completed CoCoA-5 man page for @PrevPrime@.
John Abbott

15:37 CoCoALib Bug #1121 (Rejected): PrevPrime and NextPrime anomalies

*@ERR::UtenteScemo!!@*
I somehow failed to notice that the loop also failed in CoCoA-5... oops!
Oddly enough, I... John Abbott

15:18 CoCoALib Bug #1121 (Rejected): PrevPrime and NextPrime anomalies

I am confused by the behaviour of @NextPrime@ and @PrevPrime@.
Starting from @10^17@ in CoCoA-5, running @NextPrim... John Abbott

15:14 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers

John Abbott wrote:
> The proposal is a unified mailing list for both CoCoA-5 and CoCoALib?
unified.
90% of the c... Anna Maria Bigatti

15:02 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers

The proposal is a unified mailing list for both CoCoA-5 and CoCoALib?
Probably reasonable, unless/until there is a... John Abbott

13:24 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers

The current list has some problems: hand made, fliddly to maintain, based on a php script which is recently misbehavi... Anna Maria Bigatti

15:06 CoCoA-5 Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist

Closing as it seems OK. (no point in investing more time) John Abbott

15:04 CoCoA-5 Bug #1095 (Closed): TimeOut not working as hoped/expected

I have not really tested this, but think that the current impl is OK anyway ==> closing.
John Abbott

14:51 CoCoA-5 Design #1120: Web site

Created google calendar of conferences (attended by cocoa people)
Updated conference page: with flexible design fo... Anna Maria Bigatti

14:49 CoCoA-5 Design #1120 (Closed): Web site

Make a thourough check of the web site.
Make it more flexible (for mobiles)
Add useful features. Anna Maria Bigatti

10 Nov 2017

15:09 CoCoALib Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?

Eliminated @NewLexOrdering@, @NewStdDegLexOrdering@, @NewStdDegRevLexOdering@.
Made all consequent changes. Changed... John Abbott

12:37 CoCoALib Feature #357: Constructor for vectors? CoCoAVector

I'm postponing again. We need to discuss this: the design does not convince me, and I hope that when we switch to C+... John Abbott

12:34 CoCoALib Feature #1052 (Closed): ReadExpr(P, string) and RingElem(P, string) in CoCoALib

Even though @ReadExpr(R, str)@ and @RingElem(R, str)@ do the same thing, we can probably leave them both in CoCoALib ... John Abbott

12:23 CoCoALib Feature #1030 (Closed): IsInRadical: case of homog ideal

John Abbott

12:18 CoCoA-5 Bug #1062 (Closed): IsRadical bug?

John Abbott

12:16 CoCoALib Bug #1064 (Closed): Bug in MinPolyModular (ugly prime)

John Abbott

09 Nov 2017

16:14 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

I have no idea what Emacs does with such an input string. Searching on internet yielded nothing useful.
I have re... John Abbott

14:43 CoCoA-5 Bug #672 (In Progress): Emacs UI: strange string literal causes crash

I have confirmed that a crash occurs even if you type as input to an interactive CoCoA-5 session the string @"\^"@ wh... John Abbott

14:09 CoCoALib Feature #1090 (Resolved): ExternaLib-MathSAT: first prototype

Polish the examples (remove obsolete ones) and consider this done for this stage. Anna Maria Bigatti

14:09 CoCoA-5 Bug #1060 (Feedback): describe ring: add final newline

I have modified @Interpreter.C:281@ by inserting a call to mem fn @newline@; now it is... John Abbott

13:59 CoCoALib Feature #1033 (Closed): Split poly into homog parts

John Abbott

13:57 CoCoALib Design #846: IsIrred: correct design?

What should *@IsIrred@* do in the following cases:
* arg is not in an integral domain [error?]
* arg is zero [erro... John Abbott

13:50 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages

I now think that it is best that error messages be sent to @/dev/stderr@ since that is probably what most (experience... John Abbott

10:52 CoCoA-5 Feature #1119 (Closed): Mailing list for CoCoAUsers

Investigate for making a mailing list for cocoa users.
(instead of the current hand-made list) Anna Maria Bigatti

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