Activity
From 01 Oct 2019 to 30 Oct 2019
30 Oct 2019
-
22:39 Slug #952 (Closed): GCD very slow
- It is no longer very slow; no sure how fast it is (seems to be instant).
Closing.
-
- *2019-10-30* Update: I now have gfanlib-0.6.2 (released 2018-09-28 according to GFanlib website).
However it sti... -
- If the number of steps in the PRS is very small then a direct method may well be better than the modular method.
T... -
- gcd of low degree polys with big coeffs can be too slow....
-
- *2019-10-30* I have just tried the example in comment 1, and it no longer crashes. No idea when it was resolved.
... -
- Exactly what wordsize assumptions do we want to make?
* *(A)* 32-bits or not (meaning more than 32?)
* *(B)* 32-... -
- *2019-10-30* I have just checked, and CoCoALib and CoCoA-5 both compile, run and all tests pass on my little 32-bit m...
-
- There was recent email from Bjarke Roune stating that he will no longer be able to maintain Frobby.
We should contac... -
- Note that there is already *@SubresultantSeq@* in @SparsePolyOps-resultant@.
Where did this impl come from? Is it a... -
- Here is a family of examples where factorization may not work so well:
let @f@ be a product of @x^k-1@ where the @k@... -
- FWIW I have compiled CoCoALib on my old "netbook" which is 32-bit. All tests passed.
29 Oct 2019
-
19:44 Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>
- Documented (and modernized its doc file)
-
- documented in @RingElem.txt@
-
- Checked in @IndetsIn(vector<RingElem>)@
-
- The code in *@TmpLDP.C@* uses old C functions *@time@* and *@srand@*.
Try to update the code to clean, modern C++.
-
- I must have done this some time ago; no doubt shortly after it was reported.
I have just removed some @using names... -
- I have another suggestion: add the flag *@--only-lib@* that does @--no-boost --no-readline@ and does not compile coc...
28 Oct 2019
-
- Ahhh. I see your point.
For CoCoALib the option *@--no-boost@* does nothing (since CoCoALib does not use BOOST, I... -
- I think that @--no-boost@ should be listed as a CoCoALib option, because it can compile without boost, instead of a C...
27 Oct 2019
-
- I have just compiled CoCoALib with the option *@--no-boost@*, and everything worked fine (as I expected/hoped). Of c...
-
- Bruns recently asked (by email) if configuring CoCoALib with *@--no-boost@* will work OK.
I believe CoCoALib does ... -
- I think this may already be almost done. Let's finish it soon!
-
- Let's finish this soon! Boosted priority, and brought target version forward.
I think it is almost done anyway... b...
24 Oct 2019
-
- Here is the background for my request.
I want to modify @MinPolyQuot@ so that it accepts "relatively zero-dim idea... -
- I would like to create a new ideal from a list which I know is a (reduced) GBasis.
How should I do this?
In fact,... -
- I have just added (in @SparsePolyOps-RingElem.C@) an impl for @IndetsIn(const std::vector<RingElem>&)@.
The result i...
21 Oct 2019
-
- Done, tested, cvs-ed.
To do: documentation. -
- While updating the code for monomial ideals using the new range-based for loop I realized how many times I need to in...
-
-
- used massively for monomial ideals.
Tested.
cvs-ed. -
- We should maintain a list of files to change and/or a list of files already changed.
* @SparsePolyOps-ideal-monomial... -
- Since C++11 there is a new "range-based" *@for@* loop.
Employ it where appropriate in CoCoALib. -
- I have created a new issue (#1346) about using the new *@for@* loop syntax; please put relevant progress reports ther...
-
- John Abbott wrote:
> * use *@auto@* instead of the explicit type for C++ iterators (usu. the explicit type is "unrea...
19 Oct 2019
-
- John Abbott wrote:
> If you were running your tests from a @cocoa5@ session, then you should also check with @ls -l@... -
- Very strange. I think I may have seen a similar phenomenon occasionally, but @make clean; make@ always seemed to fix...
-
- My mistake?
I tried again, and I cannot longe reproduce it.
It is linked correctly.
-
- I was testing a change made in @SparsePolyOps-ideal-monomial.C@, and, though it did recompile the file, the new code ...
18 Oct 2019
-
-
- It may be helpful to keep a list of source files which have been "done" (this may also include that the file was look...
-
- I must re-read the relevant parts of Meyers's book (Eff. Modern C++). Where should we use *@auto@*?
* use *@auto@* ... -
- done, documented, tested
17 Oct 2019
-
- I have merged several tests in the series @test-NumTheory@ and @test-SparsePolyRing@ into fewer files.
I have prefer... -
- I have added a test (and also reorganized several of the existing tests).
Closing.
-
- OK for the name *@RingElems@* it is a bit like *@symbols@*
(I do not really like it that much, but cannot think of ...
16 Oct 2019
-
- There used to be a function like this is CoCoA-4, I think.
What was it called? What was its interface?
-
- Bernhard Andraschko wants a function which produces a list of all PPs with given wdeg (actually stddeg in his case).
...
15 Oct 2019
-
-
-
-
- I like the name *@RingElems(R, str)@* because it recalls the constructor @RingElem(R, str)@.
The name I suggested ... -
-
- All tests pass, examples too. Even with debugging active.
Checked-in.
Closing. It is not worth devoting any more ... -
- _Add to this list as we do things (or remember things we have already done)_
List of principal changes made:
Bu... -
- Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* Redmine Release... -
-
- This example is very very slow because a factor of @MinPolyQuot(t,I,t)@ produces an ideal with a very slow GBasis.
<...
14 Oct 2019
-
- I agree it would be nice to have them all start the second part of the name with @Ideal@ (or maybe @ideal@?)
Mayb... -
- We have these files:
SparsePolyOps-ideal.C,
SparsePolyOps-IdealOfPoints.C,
SparsePolyOps-IdealZeroDim.C
so, s... -
- Ha ha! I did not change "nearly" all 0s into @nullptr@ that need to be changed.
I've just changed many more... it i... -
- This has apparently all been done (incl. doc, tests, CVS).
No complaints, so closing. -
- Well, I am now sync'd with CVS, so presumably this also works fine for Anna.
Apparently I have deleted the source fi... -
- I am inclined not to put in any tests since CoCoALib merely delegates all the work to GMP.
Also, as the function is ... -
10 Oct 2019
-
-
-
-
-
- reminder: write doc for cocoalib
-
- reminder: write doc for cocoalib
-
- reminder: write doc for cocoalib
-
-
- Dramatic improvement using the new function @ReadExprVector@ in @ex-MVT-Simplicial.C@. (because the new function cre...
-
- John Abbott wrote:
> 2019-09-23 This is still very slow. Here is a specific test case:
> [...]
New function @R...
09 Oct 2019
-
- I have run an example (in a ring with 4999 indets) with the profiler (it was rather slower than I expected).
The t... -
- I have just tried the example from comment 4, but in a ring with 9999 indets (instead of just 999). The time increas...
-
-
- Now also for non principal ideals...
-
- Done:
I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in ...
08 Oct 2019
-
- maybe @CoCoAVector(R, string)@?
e.g.
@CoCoAVector(NewPolyRing(QQ,"x,y,z"), "x^2-3, y^3-1234567");@
-
- In many cases in CoCoALib, and often also in CoCoA-5, it would be convenient to make a vector of RingElem from a stri...
-
- Here is a simple failing case:...
-
- *@adj@* (previously @adjoint@) gives a misleading and unnecessary error mesg if given a square matrix of dimension at...
-
- documented, cvs-ed.
-
- Implemented in CoCoALib, passed to CoCoA-5
For the moment, only for principal ideal... -
- Making a quotient ring is often tedious. In CoCoA-5 we need to write (the best we can do):...
-
- Making a homomorphism is often tedious. In CoCoA-5 we need to write (the best we can do):...
04 Oct 2019
-
- Choose the syntax first...
03 Oct 2019
-
- I agree: now the timings are no longer that horrible.
Indeed not bad ;-)
We can close this issue.
Have we compar... -
- Currently we have...
-
- Now I cannot remember WHY they should complain....
postpone to next version
-
- I think this is all done now: #1248-6
Also the principal ideal has been dealt with: #1249 -
- done.
@ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const@
in @SparsePolyOps-MonomialIdeal.C@
does NOT m... -
- Done. Tested from CoCoA-5 (false for #1211, true in @anna.cocoa5@).
-
- added a test in @CoCoA-5/tests/ErrMesg.cocoa5@
closed
02 Oct 2019
-
- This seems to be related to issue #1230
I have just tried the examples from comment 13, but changing the current r... -
- Now the official function in CoCoALib is @radical_tmp@ (will be @radical@ when all code is written in CoCoALib)
Wh... -
- The problem is testing it...
-
- fixed using @HasPositiveGrading@, and proper testing.
01 Oct 2019
-
-
- Has this already been done?
I think what Anna showed me in Genova, indicated that it has been done. If so, we can c... -
- Added a test (to @test-bug1.C@).
Corrected name in doc in @doc/txt/NumTheory.txt@.
-
- 2019-10-01: I have just tried the example from comment 2, and now it takes about 5.9s on my computer.
-
- We should either close this issue (almost immediately), or postpone it (to 0.99700?).
-
- I have increased this to max priority because I believe it is trivial to achieve, and it would be nice to close the i...
-
- Can we use a bigger modulus now that we are effectively assuming 64-bit platform? (are we?)
-
- Here is a short file which checks the computation times of the examples given above:...
-
- I changed the names (not sure when).
A problem with the integer version is that the "squarefree" part is potential... -
- This has been in "feedback" for 7 months, so I'm closing.
Also available in: Atom