Activity
From 22 Sep 2019 to 21 Oct 2019
21 Oct 2019
-
18:50 Feature #1347 (Feedback): New function: ctor of PPVector with vector<RingElem>
- 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. -
12:27 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- 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.
30 Sep 2019
-
- *CAREFUL* with the suggestions below: it is likely the @RootBound@ is used internally when factorizing or computing s...
-
- It maybe possible to improve @RootBound@ (in some cases) by using @SqfreeFactor@.
Also the CoCoA-5 prototype @Good... -
- I have transferred test-bugN into test-bug1 for N=6,7,8,9. So far, so good.
-
- Sqfr decomp should always be reasonably quick; full factorization could be slow if the input is "nasty".
One could... -
- I have already begun writing a package called @RRList@.
I think this is related, esp. as regards combining the inter... -
- Consider changing @RealRoots@ so that it computes the sqfr decomp of the input poly, then works on the separate piece...
27 Sep 2019
-
-
- Works reasonably well for me. Closing.
25 Sep 2019
-
- Where should the documentation go?
-
-
- Anna says OK to my "hack".
Now I need to document and check everything in.
-
- The point is that @make veryclean@ also deletes (most of?) the files generated by configuration.
Something is evid... -
- The error mesgs appear when the makefile tries to rebuild the dependencies.
-
- I did something like the following, and ended with lots of error messages about @PREPROCESSOR_DEFNS.H@ not existing.
... -
- Anna approves of merging the exbugs into a single file, and to including @CoCoA/library.H@.
Do this (soon!)
-
- Fixed. CVSed.
-
- We decided (personal discussion) to implement it only for @ring@, because the real utility of this function is for co...
24 Sep 2019
-
-
- we need to play with the arguments in ...
-
- Anna thinks this may be easy to resolve.
-
- In the index/table-of-contents there is no enough space for section numbers greater than 99.
The section number ov... -
- Apparently we decided to remove the function I was going to use (@IsPosiveGrading@ with two args), but in the time be...
-
- Now I understand what I meant.
+ There is a function called @IsPositiveGrading@ taking a weight matrix for input. T...
23 Sep 2019
-
- Do you simply mean a @GradingDim@ function which can be applied to a @PPMonoid@ or a @SparsePolyRing@?
-
- An idea (in C++) is to have a sort of @SmoothFactor@ iterator which can be told to continue from where it has reached...
-
- I have run the profiler.
A lot of time is spent in *@AreDistinct(vector<symbol>)@*; presumably the call is around @r... -
- Here is another case where it is surprisingly slow:...
-
- 2019-09-23 This is still very slow. Here is a specific test case:...
-
- JAA confirms that this bug still exists in the current build (2019-09-23).
Also available in: Atom