Activity
From 03 Sep 2016 to 02 Oct 2016
30 Sep 2016
- 22:11 Design #934: MachineInt: change semantics?
- I tried on my old MacBook with g++-4.2, and the results were disappointing. The new class @INDEX@ was significantly ...
- 15:01 Design #934: MachineInt: change semantics?
- In the example code above, initially I used the name @index@ for the class (rather than @INDEX@) but that produced st...
- 14:21 Design #934: MachineInt: change semantics?
- Here is the test code I have been using: (functional rather than elegant)...
- 14:12 Design #934: MachineInt: change semantics?
- For the record, here are the timings I obtained (on the Linux tower in my office):
built-in @IdentityMat@ 1.66s
@Id... - 13:46 Design #934: MachineInt: change semantics?
- I implemented a prototype, and ran a speed test. The results are mixed: usefully faster than current @MachineInt@, b...
- 11:38 Design #934: MachineInt: change semantics?
- Advantages:
* One hope is that the simpler implementation may allow the compiler to be clever (and optimise away alm... - 11:28 Design #934 (In Progress): MachineInt: change semantics?
- The implementation of @MachineInt@ is a bit messy as it tries to guarantee that no information will be lost (_e.g._ a...
- 13:31 Feature #813: Implement "elim" in CoCoALib
- This should be easy once elim orderings are properly implemented, right?
- 11:20 Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5
- Currently there is a single @configure@ script for both CoCoALib and CoCoA-5. Strictly they should be separate.
I... - 11:06 Design #932: CoCoALib configuration: BOOST dependency
- A reasonable solution might simply to be to remove the BOOST dependent code in @ThreadsafeCounter@. This would mean ...
- 11:01 Design #932: CoCoALib configuration: BOOST dependency
- As far as I can see, the code in @ThreadsafeCounter@ will probably become much simpler when we switch to C++11 (since...
- 10:55 Design #932 (Closed): CoCoALib configuration: BOOST dependency
- Currently we have a single configuration process (script) for both CoCoALib and CoCoA-5. This is not ideal!
Gereo... - 10:46 Feature #319: BOOST -- how it could help in CoCoALib
- An aspect to bear mind if we do opt to become BOOST dependent is that linking would then require linking (first) with...
29 Sep 2016
- 19:01 Design #822: Should ElimMat return a ConstMatrix
- John Abbott wrote:
> Should @ElimMat([1,2,3], 4)@ and @ElimMat([3,2,1], 4)@ give the same result? Why or why not?
... - 17:15 Design #822: Should ElimMat return a ConstMatrix
- Should @ElimMat([1,2,3])@ and @ElimMat([3,2,1])@ give the same result? Why or why not?
In other words, does the o... - 16:04 Design #805 (Closed): New type for "constant" matrices?
- 16:03 Design #592 (Closed): Review design of ConstMatrixView
- I'm no longer sure what worried me so much about @ConstMatrixView@; I suspect that the new class @ConstMatrix@ has pr...
24 Sep 2016
- 21:45 Feature #931 (Closed): GBasis verbose mode
- Make GBasis verbose mode official (both in CoCoALib and CoCoA-5).
Requested by Tetsuo Ida - 21:43 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 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 Design #805 (Feedback): New type for "constant" matrices?
- I've written some hasty documentation... it's better than nothing.
- 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...
- 17:37 Design #822: Should ElimMat return a ConstMatrix
- general improvement on coherence and readability of ElimMat and ElimHomogMat (was HomogElimMat)
- 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...
- 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... - 15:49 Support #887: My first compilations with clang
- when running dependencies there are lots of warnings about boost...
- 15:25 Support #887: My first compilations with clang
- Being annoyed by this repeated message (and also thinking of any other Mac user!!) ...
- 09:59 Feature #902 (Feedback): New function: FrobeniusMat
- Elisa confirmed.
21 Sep 2016
- 18:39 Support #887: My first compilations with clang
- Improved documentation about compiling ExternalLibs (after much suffering in recompiling with clang)
- 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 ... - 18:17 Support #694 (Closed): In test files: when is assert.H needed?
- 07:47 Support #694: In test files: when is assert.H needed?
- Works fine for me (clang)
- 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.
- 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...
- 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... - 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... :-/
... - 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...
- 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... - 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...
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?
- 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...
- 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@ ... - 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...
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.
Also available in: Atom