Activity
From 16 Mar 2018 to 14 Apr 2018
06 Apr 2018
- 20:54 Design #1179: Clean up SparsePolyOps-MonomialIdeals
- converted code for *@PrimaryDecomposition_MonId@* into a member function.
- 20:52 Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals
- Now that we have made some decisions about the design for ideals of some special sort, clean up *@SparsePolyOps-Monom...
- 20:29 Feature #1178 (In Progress): New function: myPrimaryDecomposition_0dim
- Created stucture.
Translated the uppermost function.
- 20:27 Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
- Translate the code from the CoCoAPackage @PrimaryDecomposition0.cpkg5@ into CoCoALib
- 18:57 Design #1177: File names: use "SparsePolyOps" prefix for pertinent files
- Now we have...
- 18:51 Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files
- Use of a prefix is a convenient way to mimick subdirectories.
05 Apr 2018
- 15:11 Feature #1176: interval arithmetic
- There is an interval arithmetic sublibrary in the BOOST distribution.
The problem with depending on an external libr... - 13:41 Feature #1176 (In Progress): interval arithmetic
- Implement interval arithmetic (for intervals with rational end points).
Some software libraries already implement ...
04 Apr 2018
- 11:52 Feature #1173: Upper bound for value of poly in an interval
- A while ago I read an article about this (perhaps "evaluating a polynomial over an interval"?). I no longer recall m...
- 11:49 Feature #1173 (New): Upper bound for value of poly in an interval
- Write a function which accepts a (univariate) polynomial *f* (with rational coeffs), and an interval *[a,b]* with rat...
03 Apr 2018
- 12:20 Slug #1170 (In Progress): SmoothFactor: slow when a factor is found
- I have found the slug: I had activated the "clever idea" of testing for @IsProbPrim@ after a factor has been bound, *...
29 Mar 2018
- 23:03 Design #1168: ideal: does const ourGetPtr really need to be private?
- It is very convenient having it public :-) :-)
... but today I used it to set the radical/maximal/... flags at the... - 22:59 Design #924: FlagManager for bool/bool3 flags
- Anna Maria Bigatti wrote:
> Suggested names for the functions modifying this:
> @ComputeAndSetIsPrime3@, @ComputeAn...
28 Mar 2018
- 20:25 Slug #1170 (Closed): SmoothFactor: slow when a factor is found
- Consider the following:...
20 Mar 2018
19 Mar 2018
- 14:24 Feature #1169: New function: RandomLinearForm (CoCoALib)
- John Abbott wrote:
> I am not so convinced of the utility of @RandomLinearForm(P,lo,hi)@, and suggest commenting it ... - 13:26 Feature #1169: New function: RandomLinearForm (CoCoALib)
- I am not so convinced of the utility of @RandomLinearForm(P,lo,hi)@, and suggest commenting it out until we find a ge...
- 09:52 Feature #1169 (Resolved): New function: RandomLinearForm (CoCoALib)
- Done.
*RandomLinearForm(P)* -- if coeff ring of P is F_p
*RandomLinearForm(P, n)* -- same as _RandomLinearForm(P, -... - 09:49 Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
- Port @RandomLinearForm@ to CoCoALib
17 Mar 2018
- 09:16 Slug #1165: MinPoly over QQ: verification may be very slow
- Working well, but now this should also be accessible by @IsRadical, IsMaximal,...@
Think well before doing this!! - 09:15 Design #1168: ideal: does const ourGetPtr really need to be private?
- After discussing with John, I made it public.
Indeed the rest of the code is clenear, i.e. we do not need so many fr...
16 Mar 2018
- 08:57 Slug #1165: MinPoly over QQ: verification may be very slow
- After many many experiments, code is settled as this:
- *MinPolyQuot(f, I, x)* makes the complete verification (over...
Also available in: Atom