Activity
From 08 Sep 2019 to 07 Oct 2019
04 Oct 2019
- 16:05 Feature #813: Implement "elim" in CoCoALib
- Choose the syntax first...
03 Oct 2019
- 17:41 Slug #1105 (Feedback): Primary Decompositon (zero-dim) slow cases
- I agree: now the timings are no longer that horrible.
Indeed not bad ;-)
We can close this issue.
Have we compar... - 17:18 Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite)
- Currently we have...
- 17:08 Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights
- Now I cannot remember WHY they should complain....
postpone to next version
- 15:43 Bug #1248 (Feedback): MinPolyQuot: guaranteed and ideal without GBasis
- I think this is all done now: #1248-6
Also the principal ideal has been dealt with: #1249 - 15:24 Feature #1251 (Feedback): New function: radical for monomial ideal
- done.
@ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const@
in @SparsePolyOps-MonomialIdeal.C@
does NOT m... - 10:43 Feature #1209 (Closed): New function: HasPositiveGrading
- Done. Tested from CoCoA-5 (false for #1211, true in @anna.cocoa5@).
- 10:37 Bug #1211 (Closed): HilbertSeries should check grading
- added a test in @CoCoA-5/tests/ErrMesg.cocoa5@
closed
02 Oct 2019
- 16:10 Slug #1105: Primary Decompositon (zero-dim) slow cases
- This seems to be related to issue #1230
I have just tried the examples from comment 13, but changing the current r... - 12:49 Feature #1251: New function: radical for monomial ideal
- Now the official function in CoCoALib is @radical_tmp@ (will be @radical@ when all code is written in CoCoALib)
Wh... - 12:07 Bug #1211: HilbertSeries should check grading
- The problem is testing it...
- 12:07 Bug #1211 (Feedback): HilbertSeries should check grading
- fixed using @HasPositiveGrading@, and proper testing.
01 Oct 2019
- 15:42 Feature #1249 (Closed): principal ideal has a Gbasis
- 11:57 Feature #1249: principal ideal has a Gbasis
- Has this already been done?
I think what Anna showed me in Genova, indicated that it has been done. If so, we can c... - 13:34 Bug #1300 (Closed): CoprimeFactorBasis: mishandles negative args
- Added a test (to @test-bug1.C@).
Corrected name in doc in @doc/txt/NumTheory.txt@.
- 12:22 Slug #866: implicit, ImplicitHypersurface: improve output verification
- 2019-10-01: I have just tried the example from comment 2, and now it takes about 5.9s on my computer.
- 12:15 Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- We should either close this issue (almost immediately), or postpone it (to 0.99700?).
- 12:07 Feature #813: Implement "elim" in CoCoALib
- I have increased this to max priority because I believe it is trivial to achieve, and it would be nice to close the i...
- 12:00 Design #707: MatrixOrderingMod32749Impl: test and write documentation!
- Can we use a bigger modulus now that we are effectively assuming 64-bit platform? (are we?)
- 11:55 Slug #1105: Primary Decompositon (zero-dim) slow cases
- Here is a short file which checks the computation times of the examples given above:...
- 11:37 Feature #259 (Feedback): Squarefree(?) GCD-free basis
- I changed the names (not sure when).
A problem with the integer version is that the "squarefree" part is potential... - 11:31 Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading
- This has been in "feedback" for 7 months, so I'm closing.
30 Sep 2019
- 19:42 Slug #1324: Improve RootBound
- *CAREFUL* with the suggestions below: it is likely the @RootBound@ is used internally when factorizing or computing s...
- 19:40 Slug #1324 (In Progress): Improve RootBound
- It maybe possible to improve @RootBound@ (in some cases) by using @SqfreeFactor@.
Also the CoCoA-5 prototype @Good... - 19:32 Support #1263: Tidy CoCoALib test directory
- I have transferred test-bugN into test-bug1 for N=6,7,8,9. So far, so good.
- 16:14 Feature #1323: Improve RealRoots: compute sqfr decomp
- Sqfr decomp should always be reasonably quick; full factorization could be slow if the input is "nasty".
One could... - 16:11 Feature #1323: Improve RealRoots: compute sqfr decomp
- I have already begun writing a package called @RRList@.
I think this is related, esp. as regards combining the inter... - 16:09 Feature #1323 (New): Improve RealRoots: compute sqfr decomp
- Consider changing @RealRoots@ so that it computes the sqfr decomp of the input poly, then works on the separate piece...
27 Sep 2019
- 17:33 Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX
- 17:27 Bug #1317 (Closed): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Works reasonably well for me. Closing.
25 Sep 2019
- 17:13 Feature #1283 (Closed): Printing for (prime) finite fields
- Where should the documentation go?
- 16:04 Feature #1283 (Resolved): Printing for (prime) finite fields
- 14:33 Feature #1283: Printing for (prime) finite fields
- Anna says OK to my "hack".
Now I need to document and check everything in.
- 15:29 Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- The point is that @make veryclean@ also deletes (most of?) the files generated by configuration.
Something is evid... - 15:13 Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- The error mesgs appear when the makefile tries to rebuild the dependencies.
- 15:11 Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- I did something like the following, and ended with lots of error messages about @PREPROCESSOR_DEFNS.H@ not existing.
... - 14:28 Support #1263: Tidy CoCoALib test directory
- Anna approves of merging the exbugs into a single file, and to including @CoCoA/library.H@.
Do this (soon!)
- 08:00 Bug #1317 (Feedback): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Fixed. CVSed.
- 07:38 Feature #1209: New function: HasPositiveGrading
- We decided (personal discussion) to implement it only for @ring@, because the real utility of this function is for co...
24 Sep 2019
- 18:51 Bug #905 (Feedback): txt2tags: double quotes wrong in LaTeX
- 15:51 Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
- we need to play with the arguments in ...
- 15:47 Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Anna thinks this may be easy to resolve.
- 15:12 Bug #1317 (Closed): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- In the index/table-of-contents there is no enough space for section numbers greater than 99.
The section number ov... - 10:50 Feature #1209: New function: HasPositiveGrading
- Apparently we decided to remove the function I was going to use (@IsPosiveGrading@ with two args), but in the time be...
- 10:16 Feature #1209 (In Progress): New function: HasPositiveGrading
- Now I understand what I meant.
+ There is a function called @IsPositiveGrading@ taking a weight matrix for input. T...
23 Sep 2019
- 13:00 Feature #1209: New function: HasPositiveGrading
- Do you simply mean a @GradingDim@ function which can be applied to a @PPMonoid@ or a @SparsePolyRing@?
- 12:54 Slug #1170: SmoothFactor: slow when a factor is found
- An idea (in C++) is to have a sort of @SmoothFactor@ iterator which can be told to continue from where it has reached...
- 12:41 Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- I have run the profiler.
A lot of time is spent in *@AreDistinct(vector<symbol>)@*; presumably the call is around @r... - 12:20 Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- Here is another case where it is surprisingly slow:...
- 12:16 Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- 2019-09-23 This is still very slow. Here is a specific test case:...
- 11:49 Bug #1211: HilbertSeries should check grading
- JAA confirms that this bug still exists in the current build (2019-09-23).
13 Sep 2019
- 11:30 Support #1263: Tidy CoCoALib test directory
- I added a new "exbug" to one of the @test-bugN.C@ files, and noticed that it was quite a nuisance having to add all t...
11 Sep 2019
- 13:51 Bug #905: txt2tags: double quotes wrong in LaTeX
- This is still a problem. It would be nice to fix it before a deadline on 29th Sept!
I am also not convinced by th... - 11:29 Bug #1310 (Feedback): RealRoots: gives odd number of roots for deg 6 irred poly
- I have found a bug, and fixed it! It produces reasonable answers on the two tests mentioned above:...
- 10:30 Bug #1310: RealRoots: gives odd number of roots for deg 6 irred poly
- I now have a simpler failing example:...
10 Sep 2019
- 17:32 Bug #1310 (In Progress): RealRoots: gives odd number of roots for deg 6 irred poly
- There appear to be two real roots: approx -4.00095 and 1.05
@RootBound(f)@ gives about 2.95; *this is wrong!* - 13:53 Bug #1310 (Closed): RealRoots: gives odd number of roots for deg 6 irred poly
- The following looks to be wrong:...
- 12:26 Design #1309: SmoothFactor: allow limit = 1?
- I have just changed the code to allow limit=1. All tests and examples pass (which suggests that the tests were not v...
- 11:58 Design #1309: SmoothFactor: allow limit = 1?
- There are two separate impls for @SmoothFactor@ (one for @MachineInt@ and one for @BigInt@). One allowed the limit 1...
- 11:41 Design #1309 (In Progress): SmoothFactor: allow limit = 1?
- The original reason for imposing the limit was to help users detect "obviously silly" function calls. Now I think th...
- 11:36 Design #1309 (Closed): SmoothFactor: allow limit = 1?
- The @SmoothFactor@ function tries to factorize integers by dividing by all primes up to a specified limit.
Current...
Also available in: Atom