CoCoA Project

22 Jan 2020

10:46 CoCoA-5 Bug #1397 (In Progress): Crashes if CoCoAHelp.xml is missing

The problem is in the constructor (I think)... Anna Maria Bigatti

10:07 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing

I see that this give error with no crash (loading extra manuals). This was what worried me most.... Anna Maria Bigatti

10:03 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing

ouch!
it should never happen, really.
But it is *bad*. I'll fixi it. Anna Maria Bigatti

09:58 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator

For cocoa5 it's easy: if there is no prompt, then it is busy.
That was not the case for cocoa-4, which had no prompt... Anna Maria Bigatti

18 Jan 2020

19:24 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU

I'll think about it and investigate
Anna Maria Bigatti

16 Jan 2020

16:31 CoCoA-5 Slug #1392 (In Progress): ApproxSolve: another slow example

We (Robbiano and I) found a way to solve it quickly: compute the radical first!... Anna Maria Bigatti

13 Jan 2020

20:49 CoCoALib Feature #357: Constructor for vectors? CoCoAVector

John Abbott wrote:
> Recalling part of my comment 13:
> One aspect we could implement, which C++ does not, is the n... Anna Maria Bigatti

18:38 CoCoALib Feature #357: Constructor for vectors? CoCoAVector

Re-reading the comments I think it's not worth it.
I went through all the code and removed all calls to @CoCoAVect... Anna Maria Bigatti

18:34 CoCoALib Feature #966 (Resolved): New function or explain: first and last for a vector?

OK, I think we should not make a function in lib.
I added an example in ex-c++.C.
Now I realized that there is a ... Anna Maria Bigatti

18:23 CoCoALib Feature #1212: New function: GBasisByHomog

This works fine now, but only for few orderings.
The general case will not be done for this release. Postponing. Anna Maria Bigatti

17:34 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis

No hope to make this in time for 0.99720 (requires too much planning)
Anna Maria Bigatti

17:20 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)

Example: so I know where to find one ;-)... Anna Maria Bigatti

16:42 CoCoALib Slug #1238 (Resolved): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead

The real solution is using @RingElems@, this new function is actually quite useful for other things too, and also in ... Anna Maria Bigatti

16:35 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5

As discussed in #1931, there are now two functions:
(A) @RingElems(RING, STRING)@ example @RingElems(P, "x*y,z")@
... Anna Maria Bigatti

16:00 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

We could have a @RingElemList@ in CoCoA-5.
I have defined a function in @NotBuiltin.cpkg5@. About to check it in.
... Anna Maria Bigatti

11:24 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

It is compatible with @NewPolyRing(QQ, "x,y,z")@.
I prefer not to add the brackets because then we have to make th... Anna Maria Bigatti

12:16 CoCoA-5 Slug #1390 (Resolved): CoCoA-5 test: radical too slow

I separated the file into two files
@radical0dim.cocoa5@ and @radical.cocoa5@.
Even though the function is the same... Anna Maria Bigatti

09:36 CoCoALib Design #1389: myZeroPtr and myOnePtr

Thanks for the explanation. Now I will remember why.
Anna Maria Bigatti

09 Jan 2020

17:40 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange

Done and cvs-ed.
I cleaned up the code in the 3 files @RingDistr..@ and ediffed them so they are a little bit more s... Anna Maria Bigatti

12:21 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange

Now using @ERR::Empty@ (maybe not ideal, but better)... Anna Maria Bigatti

12:00 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange

My opinion:
What should SymbolRange do if there are no indets in the range?
empty list (non error)
What should... Anna Maria Bigatti

16:11 CoCoALib Design #1389 (Rejected): myZeroPtr and myOnePtr

every concrete ring have these lines (in .C file)... Anna Maria Bigatti

11:33 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page

John Abbott wrote:
> What should @IsIndetPosPower(x/x)@ give?
> Error or @false@?
> I expected @false@ but actuall... Anna Maria Bigatti

11:25 CoCoA-5 Bug #1383 (Feedback): NewPolyRing on MS Windows

Anna Maria Bigatti

11:21 CoCoA-5 Bug #1382 (Closed): SEGV: should have been harmless

tested on MacOS. OK. Anna Maria Bigatti

08 Jan 2020

16:08 CoCoA-5 Bug #1383: NewPolyRing on MS Windows

I confirm it works fine on MacOS. Anna Maria Bigatti

07 Jan 2020

14:48 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]

I think the question was intended as: "can we let the user define an ideal over ZZ[x[1..n]]?"
Now it gives an error:... Anna Maria Bigatti

27 Dec 2019

19:20 CoCoALib Feature #1212: New function: GBasisByHomog

checked-in. Made new pre-release for Mac. Anna Maria Bigatti

18:49 CoCoALib Feature #1212: New function: GBasisByHomog

The trick didn't work ... they usually don't.
Fixed interreduction Anna Maria Bigatti

16:48 CoCoALib Feature #1212: New function: GBasisByHomog

I had implemented a _trick_ which I believed would be enough for interreducing (compute the GB twice).
But it is not... Anna Maria Bigatti

13:22 CoCoALib Bug #1379: Fails to recognize zero-dim ideal

John Abbott wrote:
> Here is an example where @GBasisByHomog@ returns a non-minGB
> [...]
ahhhh!! clue city!!
t... Anna Maria Bigatti

13:19 CoCoALib Bug #1379: Fails to recognize zero-dim ideal

John Abbott wrote:
> I have put a print command in the loop inside @IamZeroDim@ around line 530 in @SparsePolyOps-id... Anna Maria Bigatti