CoCoA

22 Sep 2016

18:24 CoCoALib Design #805 (Feedback): New type for "constant" matrices?

I've written some hasty documentation... it's better than nothing.
John Abbott

16:35 CoCoALib Design #805 (Resolved): New type for "constant" matrices?

JAA continues to like the idea of @ConstMatrix@. A nice advantage compared to @ConstMatrixView@ is that an object of... John Abbott

17:37 CoCoALib Design #822: Should ElimMat return a ConstMatrix

general improvement on coherence and readability of ElimMat and ElimHomogMat (was HomogElimMat) Anna Maria Bigatti

16:16 CoCoALib Bug #793 (Closed): compilation on fedora 23: some worrying "error messages"

I have not noticed this problem lately. It wouldn't surprise me to find that it is due to the "wobbly" remote file s... John Abbott

16:08 CoCoALib Support #887: My first compilations with clang

removed TmpSmartPtrIRCCOW.H (gave warnings, and it was not used)
I saved a copy called TmpSmartPtrIRCCOW.H.dont-read... Anna Maria Bigatti

15:49 CoCoALib Support #887: My first compilations with clang

when running dependencies there are lots of warnings about boost... Anna Maria Bigatti

15:25 CoCoALib Support #887: My first compilations with clang

Being annoyed by this repeated message (and also thinking of any other Mac user!!) ... Anna Maria Bigatti

09:59 CoCoALib Feature #902 (Feedback): New function: FrobeniusMat

Elisa confirmed.
Anna Maria Bigatti

08:41 CoCoA-5 Design #929 (In Progress): Clean up CoCoALibSupplement

Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi... Anna Maria Bigatti

08:39 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?

Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi... Anna Maria Bigatti

21 Sep 2016

22:08 CoCoA-5 Bug #928: ciao, exit, quit can be used not only at top level

Marked as low priority as it probably affects no-one (unless someone is looking for trouble by putting @ciao/exit/qui... John Abbott

22:03 CoCoA-5 Bug #928 (New): ciao, exit, quit can be used not only at top level

The manual for ciao/exit/quit says the command can be used only at top level. This is apparently not true.... John Abbott

22:00 CoCoA-5 Feature #927 (Resolved): Add "exit" in addition to "ciao"

What I did to add command "exit".
cd src/CoCoA-5
fgrep Ciao Lexer.C
--> Keyword("Ciao", TT_CIAO)
In Lexer.H ... John Abbott

21:32 CoCoA-5 Feature #927: Add "exit" in addition to "ciao"

I think it should not be too hard to add an "exit" command, but this means introducing a new keyword which could, in ... John Abbott

17:52 CoCoA-5 Feature #927 (Closed): Add "exit" in addition to "ciao"

Anna Maria Bigatti

18:39 CoCoALib Support #887: My first compilations with clang

Improved documentation about compiling ExternalLibs (after much suffering in recompiling with clang) Anna Maria Bigatti

18:37 CoCoALib Design #822: Should ElimMat return a ConstMatrix

just simplified CoCoA-5 porting (no longer passing through CoCoALibSupplement)
I'd like to change HomogElimMat into ... Anna Maria Bigatti

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

John Abbott

07:47 CoCoALib Support #694: In test files: when is assert.H needed?

Works fine for me (clang) Anna Maria Bigatti

17:34 CoCoALib Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing)

This has been idle for 6 months; no problems have arisen. I have written a test (checked in).
So closing.
John Abbott

17:15 CoCoALib Support #505: Documentation: write doc for RingDenseUPolyClean

I have just written a test (@test-RingAssign1@) which needed to create some DUP rings. I was surprised to discover t... John Abbott

14:37 CoCoALib Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error

I am closing (rather than rejecting) this issue. Here is a summary:
* throwing an exception is not possible (becaus... John Abbott

13:29 CoCoALib Support #926: Documentation: check layout of history at end of generated HTML files (from the txt files)

Not really important, but it's nicer if the layout is correct.
Something to do when not feeling up to much... :-/
... John Abbott

13:28 CoCoALib Support #926 (New): Documentation: check layout of history at end of generated HTML files (from the txt files)

I noticed that the layout of the "history" at the bottom of the manual page for @MatrixView@ was incorrect. It is no... John Abbott

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

After some reflection and after speaking to Anna...
I now think that @MachineInt@ is wrong for indexes; the type @Ma... John Abbott

07:36 CoCoALib Feature #899 (Closed): IsMaximal, IsPrimary for IDEAL (in cocoalib)

The function themselves work fine. The discussion now is about the implementation of the bool3 flags, which is a mor... Anna Maria Bigatti

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