Activity
From 21 Aug 2016 to 19 Sep 2016
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@ ...
- 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...
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... - 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... - 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...
- 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...
- 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...
- 16:42 Feature #856 (Closed): MantissaAndExponent2 for twin-float
- Closing after 6 months in feedback.
- 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...
- 16:30 Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational
- 16:25 Feature #889 (Closed): configure script: give summary of warnings at end
- No complaints in 3 months ==> closing.
- 16:24 Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version
- This has been resolved adequately by issue #889. Closing.
- 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.
- 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.
- 08:32 Design #921: Design GBMill
- See @FlagManager@ in #899
- 08:29 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 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 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 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 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 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 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 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 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: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...
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 ...
- 16:22 Feature #919 (New): Hilbert Driven GBasis
- Hilbert-driven: to be done. Trivial in principle, probably requires designing the GBMill.
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...
22 Aug 2016
- 16:45 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 ...
Also available in: Atom