Project

General

Profile

Activity

From 24 Aug 2016 to 22 Sep 2016

22 Sep 2016

18:24 Design #805 (Feedback): New type for "constant" matrices?
I've written some hasty documentation... it's better than nothing.
John Abbott
16:35 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 Design #822: Should ElimMat return a ConstMatrix
general improvement on coherence and readability of ElimMat and ElimHomogMat (was HomogElimMat) Anna Maria Bigatti
16:16 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 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 Support #887: My first compilations with clang
when running dependencies there are lots of warnings about boost... Anna Maria Bigatti
15:25 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 Feature #902 (Feedback): New function: FrobeniusMat
Elisa confirmed.
Anna Maria Bigatti

21 Sep 2016

18:39 Support #887: My first compilations with clang
Improved documentation about compiling ExternalLibs (after much suffering in recompiling with clang) Anna Maria Bigatti
18:37 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 Support #694 (Closed): In test files: when is assert.H needed?
John Abbott
07:47 Support #694: In test files: when is assert.H needed?
Works fine for me (clang) Anna Maria Bigatti
17:34 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 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 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 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 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 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 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 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 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 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 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 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 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:18 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 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 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 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 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 Feature #856 (Closed): MantissaAndExponent2 for twin-float
Closing after 6 months in feedback.
John Abbott
16:40 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 Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational
John Abbott
16:25 Feature #889 (Closed): configure script: give summary of warnings at end
No complaints in 3 months ==> closing.
John Abbott
16:24 Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version
This has been resolved adequately by issue #889. Closing.
John Abbott
15:04 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 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 Design #921: Design GBMill
See @FlagManager@ in #899 Anna Maria Bigatti
08:29 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 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 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 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 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 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 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 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 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:09 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

16:49 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 Feature #919 (New): Hilbert Driven GBasis
Hilbert-driven: to be done. Trivial in principle, probably requires designing the GBMill. Anna Maria Bigatti

02 Sep 2016

14:25 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
 

Also available in: Atom