Activity
From 21 Sep 2016 to 20 Oct 2016
20 Oct 2016
- 20:10 Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- I can make @factor@ and @SmoothFactor@ for integers faster in some cases by calling @IsProbPrime@.
The risk is that ... - 20:08 Feature #796 (Resolved): CoCoALib function for radical (or SqFree) of a polynomial
- Checked in the code. Also two new tests @test-NumTheory6@ and @test-SparsePolyRing3@.
No documentation yet.
Name... - 16:10 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- John Abbott wrote:
> Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 (to avoid a clash with th... - 15:44 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- Before checking in which name should I use?
Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 ... - 13:30 Feature #796 (In Progress): CoCoALib function for radical (or SqFree) of a polynomial
- I have an implementation in CoCoALib. It took so long because of a "mysterious bug" in @ContentFreeFactor@.
My cu... - 16:32 Feature #838 (In Progress): Differential algebra
- The ctor args for a @DifferentialAlgebra@ are the following:
* *@n@* number of "independent variables"
* *@k@* numb...
19 Oct 2016
- 10:26 Feature #440: Port RealRoots to C++
- Some of Erika's people would like this to be in CoCoALib sooner rather than later!
18 Oct 2016
- 17:49 Feature #949 (New): New function: IdealWithIncrementalGBasis(I, f)
- (from SC^2)
We could (easily?) implement a function doing an incremental GBasis: if I has GBasis GB, and we add a po... - 16:06 Feature #947: IsRadical for ideal?
- John Abbott wrote:
> I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate.... - 16:02 Feature #947: IsRadical for ideal?
- I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate. If not, perhaps we c...
- 15:51 Feature #947 (In Progress): IsRadical for ideal?
- The crude idea was just to run the usual code for computing the radical, and if at some point we determine with certa...
- 15:19 Feature #947: IsRadical for ideal?
- Apart from 0-dim (already implemented), and monomial, how can you determine it?
- 15:03 Feature #947: IsRadical for ideal?
- There is now "IsRadical" for 0-dimensional ideals. (and it's in our paper in progress ;-)
I've just realized I forg... - 14:56 Feature #947 (In Progress): IsRadical for ideal?
- Werner and Mario ask whether it could make sense to have an @IsRadical@ function for ideals; can this be determined s...
- 15:12 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- This would be quite useful. For the time being should we just add...
13 Oct 2016
- 11:31 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Thanks John! Now we have only the "16bytes"...
12 Oct 2016
- 18:08 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- I'll do @test-OrderedRing2@.... there is a leak in twinfloat.
I know where it is; now I just have to find a nice way... - 18:02 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Anna Maria Bigatti wrote:
> First run of valgrind (I had to reinstall valgrind on my mac...)
> [...]
The "16-byt... - 17:49 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- First run of valgrind (I had to reinstall valgrind on my mac...)...
- 16:10 Support #944 (In Progress): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- 16:06 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- John Abbott wrote:
> Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
OK, moved i... - 15:42 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
- 15:04 Support #944 (Closed): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss...
10 Oct 2016
- 21:20 Support #942: Which names to use? Intersection/saturation vs intersect/saturate
- I have put this issue under CoCoALib, but it is just as relevant to CoCoA-5.
In general my personal preference is ... - 21:18 Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate
- I notice that we have the following 2 names for functions: *@intersection@* and *@saturate@*.
In CoCoA-3 and CoCoA...
08 Oct 2016
- 22:24 Feature #910: BigRat: read from a string in "decimal" format?
- Unfortunately the code for reading "decimal numbers" appears twice: once in *@operator>>@* for @BigRat@ and once agai...
- 22:10 Bug #936 (Feedback): ReadExpr: cannot handle exponent which is not integer literal
- I have now implemented the following:
after @^@ there may be an unsigned integer literal or @(@ optional-sign unsign... - 21:55 Bug #938 (Feedback): ReadExpr: misreads 2/3^4
- I have fixed it now, and added a new @test-RingElem5@ for the function @ReadExpr@ (for rational numbers).
Trickier...
07 Oct 2016
- 15:15 Bug #938 (In Progress): ReadExpr: misreads 2/3^4
- I see no choice but to make @2/3^4@ read as an expression @div(2, power(3,4))@, and this implies that all rationals e...
06 Oct 2016
- 11:38 Bug #938: ReadExpr: misreads 2/3^4
- It is a slightly subtle bug: at first sight it seems reasonable that @<constant>^<integer>@ should yield the obvious ...
- 11:37 Bug #938 (Closed): ReadExpr: misreads 2/3^4
- After my change to @ReadExpr@ so that it can read rational numbers, the fn now misreads @"2/3^4"@ and produces 16/81 ...
- 08:30 Feature #937 (In Progress): LinDepMill: Mill for linear dependencies
- Currently in MinPoly.C there is a class IncrLinDep.
It is small and neat: I think this is the perfect paradigm for a... - 07:47 Bug #936: ReadExpr: cannot handle exponent which is not integer literal
- John Abbott wrote:
> What exactly do we want to allow in the exponents?
> The simplest solution would be to allow e...
05 Oct 2016
- 17:12 Bug #936: ReadExpr: cannot handle exponent which is not integer literal
- The relevant source is around line 100 of @RingElemInput.C@
- 17:12 Bug #936: ReadExpr: cannot handle exponent which is not integer literal
- What exactly do we want to allow in the exponents?
The simplest solution would be to allow either an integer liter... - 17:08 Bug #936 (Closed): ReadExpr: cannot handle exponent which is not integer literal
- The fn @ReadExpr@ fails if input contains an exponent which is not an integer literal: for instance...
- 16:40 Feature #910: BigRat: read from a string in "decimal" format?
- I'm not sure how related this is: a twin-float value can be printed out with a trailing @<dot>@ if the value is very ...
03 Oct 2016
- 17:29 Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights
- It seems that the weights must be integer. This should be documented!
- 17:28 Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights
- The fns @ElimMat@ and @ElimHomogMat@ should give error if the user supplies weights are not strictly positive (intege...
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...
Also available in: Atom