CoCoA

20 Sep 2016

19:22 CoCoALib Design #925: MachineInt or long for args which are indices (yet again)

Now I see that issue #830 went ahead even though it is incompatible with #89 and #124.
Oops!
What to do?
John Abbott

19:19 CoCoALib Design #925: MachineInt or long for args which are indices (yet again)

Evidently I am not fully decided in my own mind whether it better to use @MachineInt@ for safety or @long@ for simpli... John Abbott

18:58 CoCoALib Design #925 (In Progress): MachineInt or long for args which are indices (yet again)

This matter has already been rasied in #89 and #124.
Much to my surprise in @matrix.H@ there are several @SetEntry@ ... John Abbott

12:23 CoCoALib Bug #807 (Rejected): DiagMat: mySetEntry checks the entry is writable only if debugging active

This is not a bug. The non mem fn @SetEntry@ calls explicitly @myIsWritable@, whereas the mem fn deliberately exclud... John Abbott

19 Sep 2016

07:52 CoCoALib Design #924: FlagManager for bool/bool3 flags

Is it possible to have a common interface for bool and bool3? maybe there should only be bool 3, where @uncertain3@ ... Anna Maria Bigatti

07:48 CoCoALib Design #924 (New): FlagManager for bool/bool3 flags

In many classes we have some bool/bool3 flags.
Setting a FlagManager class within, could help us keeping the same ki... Anna Maria Bigatti

16 Sep 2016

18:22 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8

Tried: John's compilation (for 10.6) works on 10.11.
So for next release we can use his compilation.
(it's on my wh... Anna Maria Bigatti

17:56 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8

I tried the suggestion:... Anna Maria Bigatti

15:57 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8

See also this link @http://grauonline.de/wordpress/?p=71@
JAA thinks it could be useful.
John Abbott

15:55 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8

The @nm@ function on my computer (Mac OS X 10.6.8) complains that a compiled program from Anna's 10.11 Mac is *@malfo... John Abbott

14:47 CoCoA-5 Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8

Binary from 10.11 gives @Illegal instruction@ on 10.6.8.
Investigate how to solve this, and at what OS version the... Anna Maria Bigatti

18:18 CoCoALib Support #694 (Feedback): In test files: when is assert.H needed?

In the end I chose @CoCoA_ASSERT_ALWAYS@ as it is pretty clear what it means.
I have removed every include directi... John Abbott

08:12 CoCoALib Support #694: In test files: when is assert.H needed?

John Abbott wrote:
> JAA suggests the short name @CoCoA_CHECK@, but Anna thinks that is not so clear.
> Anna sugges... Anna Maria Bigatti

18:08 CoCoALib Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.

The implementation now includes an *implicit* check that the ring of the given matrix is char 0; internally it simply... John Abbott

17:25 CoCoALib Feature #902: New function: FrobeniusMat

Elisa: do you confirm that you are using the FrobeniusMat implemented in CoCoALib (not the old one in CoCoA-5) and it... Anna Maria Bigatti

17:02 CoCoALib Bug #807 (In Progress): DiagMat: mySetEntry checks the entry is writable only if debugging active

After a quick check, it now seems that all code in @MatrixView.C@ should be checked to make sure that it does not att... John Abbott

16:42 CoCoALib Feature #856 (Closed): MantissaAndExponent2 for twin-float

Closing after 6 months in feedback.
John Abbott

16:40 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist

Although this possibly already almost finished, I prefer to postpone it since there are some questions still unanswer... John Abbott

16:30 CoCoALib Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational

John Abbott

16:25 CoCoALib Feature #889 (Closed): configure script: give summary of warnings at end

No complaints in 3 months ==> closing.
John Abbott

16:24 CoCoALib Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version

This has been resolved adequately by issue #889. Closing.
John Abbott

15:04 CoCoALib Feature #923: Fn to read symbol range (SymbolRange)

The code in @symbol.C:392@ which would call the NYI fn @ReadSymbolRange@ looks to be wrong to me.
John Abbott

15:03 CoCoALib Feature #923 (New): Fn to read symbol range (SymbolRange)

There is some initial code for reading a "range" of symbols from a string. This needs to be completed. John Abbott

08:32 CoCoALib Design #921: Design GBMill

See @FlagManager@ in #899 Anna Maria Bigatti

08:29 CoCoALib Design #921 (New): Design GBMill

(I believe we have already written something long these lines, but I cannot find it) Anna Maria Bigatti

15 Sep 2016

17:05 CoCoALib Support #694: In test files: when is assert.H needed?

JAA suggests the short name @CoCoA_CHECK@, but Anna thinks that is not so clear.
Anna suggests the longer name @CoCo... John Abbott

14 Sep 2016

18:17 CoCoALib Support #694: In test files: when is assert.H needed?

Since all tests must include @GlobalManager.H@ and that file indirectly includes @assert.H@, there is no need for any... John Abbott

17:19 CoCoALib Support #694: In test files: when is assert.H needed?

Anna points out that if we do this for @assert.H@ then why shouldn't we do it for all header files... at which point ... John Abbott

16:38 CoCoALib Support #694 (In Progress): In test files: when is assert.H needed?

The explanation is fairly obvious (and simple): some header files already include @assert.H@. Here is the current li... John Abbott

08 Sep 2016

14:05 CoCoALib Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)

John Abbott wrote:
> If the flags are simply data members of type @bool3@ then the compiler offers no protection aga... Anna Maria Bigatti

11:16 CoCoALib Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)

I have a question: I have the function @IsRadicalSPR(const ideal& I)@ which, in the way of determining if I is radic... Anna Maria Bigatti

09:30 CoCoALib Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)

I'm not sure if this suggestion is a good one or a bad one.
If the flags are simply data members of type @bool3@ t... John Abbott

09:17 CoCoALib Feature #899 (In Progress): IsMaximal, IsPrimary for IDEAL (in cocoalib)

After speaking to Anna about this yesterday...
It seems best that the flags be assigned to only via specific functio... John Abbott

11:45 CoCoA-5 Design #920 (New): Empty matrix: warning, error, or empty matrix?

Currenty @matrix([[]])@ returns @matrix(QQ, [[]])@ (1 row, 0 cols) and @matrix([])@ gives error (I've just made a "be... Anna Maria Bigatti

11:09 CoCoALib Feature #361 (Feedback): implement IsPrime3, IsMaximal3

I suggest to close this issue: the discussion about this design has been moved to issue #899 (my mistake, but difficu... Anna Maria Bigatti

07 Sep 2016

17:09 CoCoA-5 Bug #918 (Feedback): UniversalGBasis: sometimes gives error

Fixed.
The list to create the matrix is empty (special case: monomial input), so CoCoA didn't know how to set the nu... Anna Maria Bigatti

16:49 CoCoALib Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)

After working on it, I realized that usually the function actually doing the "test" computation is also the function ... Anna Maria Bigatti

16:22 CoCoALib Feature #919 (New): Hilbert Driven GBasis

Hilbert-driven: to be done. Trivial in principle, probably requires designing the GBMill. Anna Maria Bigatti

05 Sep 2016

15:44 CoCoA-5 Feature #744 (In Progress): Handle interrupts more helpfully

We should try to get this done for 5.1.6!
John Abbott

15:40 CoCoA-5 Feature #708 (In Progress): ExternalLib Normaliz: verbose flag?

Perhaps we can finish this on Wednesday (2016-09-07)? John Abbott

12:39 CoCoA-5 Design #478 (Closed): Use of dollar-dot ($.) in packages

I'm not realy sure what the difference between "reject" and "close" is.
In this case I prefer to "close" (perhaps be... John Abbott

02 Sep 2016

15:55 CoCoA-5 Design #478: Use of dollar-dot ($.) in packages

John Abbott wrote:
> Should I "close" or even "reject" this issue?
I agree. I think we should "reject"
Anna Maria Bigatti

14:18 CoCoA-5 Design #478 (Feedback): Use of dollar-dot ($.) in packages

JAA notes that the dollar-dot prefix (or perhaps also the full prefix?) is necessary for package local variables.
... John Abbott

14:49 CoCoA-5 Bug #712 (In Progress): External Libs: missing dependencies in Makefiles

In a perfect world the CoCoA files which connect to external libraries should depend on the corresponding header file... John Abbott

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

Since we shall need to discuss this, I think it is better to postpone the "delivery date" rather than take hasty acti... John Abbott

13:45 CoCoA-5 Bug #918 (In Progress): UniversalGBasis: sometimes gives error

A simpler failing case is:... John Abbott

01 Sep 2016

16:02 CoCoA-5 Bug #918: UniversalGBasis: sometimes gives error

try now (just checked it the new code using @CallOnGroeberFan@) Anna Maria Bigatti

15:32 CoCoA-5 Bug #918: UniversalGBasis: sometimes gives error

The code for @UniversalGBasis@ simply makes the union of all the reduced GBases produced by @GroebnerFanIdeals@. Sho... John Abbott

11:37 CoCoA-5 Bug #918 (Closed): UniversalGBasis: sometimes gives error

The following input produces an error (cannot index empty list)... John Abbott

31 Aug 2016

16:06 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

Yes, it would require some modification to the interpreter.
It would anyway be interesting to have such "stream" o... John Abbott

14:36 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

John Abbott wrote:
> I have in mind a "stream", so the user could write CoCoA code like the following:
> [...]
O... Anna Maria Bigatti

14:28 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

but there is no such thing in CoCoA-5.... Anna Maria Bigatti

14:28 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

I have in mind a "stream", so the user could write CoCoA code like the following:... John Abbott

14:25 CoCoA-5 Design #917 (New): CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")

The fn @CallOnGroebnerFanIdeals@ is not a good way of achieving its end.
Design and implement a better way. John Abbott

25 Aug 2016

17:42 CoCoA-5 Support #916 (New): use command: unhelpful error if you use := instead of ::=

Here is an excerpt from a CoCoA session containing a "typo" (OK, it's 33 degrees here, and I wasn't concentrating)
<... John Abbott

22 Aug 2016

16:45 CoCoALib Feature #914: New function: quorem for univariate polynomials?

The request for @quorem@ (or whatever it will be called) seems reasonable to me -- at first sight, anyway.
If the ... John Abbott

16:42 CoCoA-5 Support #915: When is a semicolon needed to end a statement/command?

This question came to me as I was writing the tutorials for CoCoA-5. I actually thought that the final semicolon was... John Abbott

16:06 CoCoA-5 Feature #912: Add TUTORIALs to online manual

As a "proof of concept" I have written and checked in two tutorial pages: 0 (ciao) and 1 (manual).
I'll see what Ann... John Abbott

16:05 CoCoA-5 Feature #912 (In Progress): Add TUTORIALs to online manual

Here is a proposal for how we could organize tutorials as manual pages in CoCoA-5.
Tutorial Content
0 ... John Abbott