Activity
From 30 Aug 2016 to 28 Sep 2016
24 Sep 2016
-
21:45 CoCoALib Feature #931 (Closed): GBasis verbose mode
- Make GBasis verbose mode official (both in CoCoALib and CoCoA-5).
Requested by Tetsuo Ida -
21:43 CoCoALib Bug #930: Printing TwinFloat as (rational) coeff without brackets
- Since we have decided that expressions of the form @1/3*x@ deserve a warning on input, and since with genuine rationa...
-
21:40 CoCoALib Bug #930 (New): Printing TwinFloat as (rational) coeff without brackets
- A polynomial with TwinFloat coeffs does not put the coeffs in brackets....
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.
-
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...
-
17:37 CoCoALib Design #822: Should ElimMat return a ConstMatrix
- general improvement on coherence and readability of ElimMat and ElimHomogMat (was HomogElimMat)
-
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...
-
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... -
15:49 CoCoALib Support #887: My first compilations with clang
- when running dependencies there are lots of warnings about boost...
-
15:25 CoCoALib Support #887: My first compilations with clang
- Being annoyed by this repeated message (and also thinking of any other Mac user!!) ...
-
09:59 CoCoALib Feature #902 (Feedback): New function: FrobeniusMat
- Elisa confirmed.
-
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...
-
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...
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...
-
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....
-
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 ... -
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 ...
-
17:52 CoCoA-5 Feature #927 (Closed): Add "exit" in addition to "ciao"
-
18:39 CoCoALib Support #887: My first compilations with clang
- Improved documentation about compiling ExternalLibs (after much suffering in recompiling with clang)
-
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 ... -
18:17 CoCoALib Support #694 (Closed): In test files: when is assert.H needed?
-
07:47 CoCoALib Support #694: In test files: when is assert.H needed?
- Works fine for me (clang)
-
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.
-
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...
-
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... -
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... :-/
... -
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...
-
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... -
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...
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?
-
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...
-
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@ ... -
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...
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@ ...
-
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...
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... -
17:56 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
- I tried the suggestion:...
-
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.
-
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...
-
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... -
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... -
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... -
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...
-
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...
-
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...
-
16:42 CoCoALib Feature #856 (Closed): MantissaAndExponent2 for twin-float
- Closing after 6 months in feedback.
-
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...
-
16:30 CoCoALib Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational
-
16:25 CoCoALib Feature #889 (Closed): configure script: give summary of warnings at end
- No complaints in 3 months ==> closing.
-
16:24 CoCoALib Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version
- This has been resolved adequately by issue #889. Closing.
-
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.
-
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.
-
08:32 CoCoALib Design #921: Design GBMill
- See @FlagManager@ in #899
-
08:29 CoCoALib Design #921 (New): Design GBMill
- (I believe we have already written something long these lines, but I cannot find it)
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...
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...
-
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 ...
-
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...
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... -
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...
-
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... -
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... -
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...
-
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...
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... -
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 ...
-
16:22 CoCoALib Feature #919 (New): Hilbert Driven GBasis
- Hilbert-driven: to be done. Trivial in principle, probably requires designing the GBMill.
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!
-
15:40 CoCoA-5 Feature #708 (In Progress): ExternalLib Normaliz: verbose flag?
- Perhaps we can finish this on Wednesday (2016-09-07)?
-
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...
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"
-
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.
... -
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...
-
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...
-
13:45 CoCoA-5 Bug #918 (In Progress): UniversalGBasis: sometimes gives error
- A simpler failing case is:...
01 Sep 2016
-
16:02 CoCoA-5 Bug #918: UniversalGBasis: sometimes gives error
- try now (just checked it the new code using @CallOnGroeberFan@)
-
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...
-
11:37 CoCoA-5 Bug #918 (Closed): UniversalGBasis: sometimes gives error
- The following input produces an error (cannot index empty list)...
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... -
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... -
14:28 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")
- but there is no such thing in CoCoA-5....
-
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:...
-
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.
Also available in: Atom