Activity
From 21 Mar 2018 to 19 Apr 2018
19 Apr 2018
- 17:58 CoCoALib Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- Since the ambiguity of @BigInt(0)@ derives from the fact that @std::string@ has an implicit ctor from @char*@, it may...
- 11:59 CoCoALib Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- I have replaced the ctor @BigInt(mpz_t)@ by one which requires a second arg (@CopyFromMPZ@), and then changed all cod...
18 Apr 2018
- 20:24 CoCoALib Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- The situation is more complicated than I'd like. Here I'll write about @BigInt@, but it applies just as much to @Big...
- 14:34 CoCoALib Design #1180 (In Progress): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- JAA thinks there is little hope that the language rules for C++ will change (in the forseeable future) to forbid an "...
- 14:10 CoCoALib Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- The problem turned out to be that *@2/3@* is evaluated by the compiler to produce @0@ (integer division); this is the...
- 14:04 CoCoALib Design #1180 (Closed): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- The following code excerpt compiles, but does not do what I expected:...
- 18:01 CoCoALib Design #1124: Move examples directory into doc -- or just change makefile?
- Anna now likes the idea.
It may also help solve nicely a silly but annoying problem with the compilation of @CopyI...
06 Apr 2018
- 20:54 CoCoALib Design #1179: Clean up SparsePolyOps-MonomialIdeals
- converted code for *@PrimaryDecomposition_MonId@* into a member function.
- 20:52 CoCoALib 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 CoCoALib Feature #1178 (In Progress): New function: myPrimaryDecomposition_0dim
- Created stucture.
Translated the uppermost function.
- 20:27 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
- Translate the code from the CoCoAPackage @PrimaryDecomposition0.cpkg5@ into CoCoALib
- 18:57 CoCoALib Design #1177: File names: use "SparsePolyOps" prefix for pertinent files
- Now we have...
- 18:51 CoCoALib 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 CoCoALib Feature #1176: interval arithmetic
- There is an interval arithmetic sublibrary in the BOOST distribution.
The problem with depending on an external libr... - 13:41 CoCoALib Feature #1176 (In Progress): interval arithmetic
- Implement interval arithmetic (for intervals with rational end points).
Some software libraries already implement ... - 14:26 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- I suggest a function with the following semantics:
* call *RealRootsSmallValue(f, eps)*
* result is a list of close... - 14:19 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- It is not as simple as I first thought. While the first order approximation I mentioned in comment 3 is correct, it ...
- 09:29 CoCoA-5 Support #1175 (New): intersection
- The intersection of MODULEs need to be exported.
- 09:26 CoCoA-5 Feature #1174 (Closed): package of a function --> of an identifier!
- How to have a function that says in which package is in the input?
Why does not describe have this feature?!
*202...
04 Apr 2018
- 14:35 CoCoA-5 Bug #1172 (Feedback): MinSubsetOfGens: problem with generators = 0
- 14:31 CoCoA-5 Bug #1172: MinSubsetOfGens: problem with generators = 0
- Fixed @GPolyList EmbedVectorList(const VectorList& theVL, const GRingInfo& theGRI, const long StartingFromCompIndex)@...
- 12:27 CoCoA-5 Bug #1172: MinSubsetOfGens: problem with generators = 0
- The problem is actually in @GBasis(M)@ when gens(M) contains a 0 element.
Fixing...
- 12:05 CoCoA-5 Bug #1172: MinSubsetOfGens: problem with generators = 0
- which package?
- 09:30 CoCoA-5 Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0
- In case of type MODULE there is:
J := submodule(ModuleOf(X), WithoutNth(L,I));
but it does not allow to v... - 11:52 CoCoALib 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 CoCoALib 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...
- 11:34 CoCoA-5 Bug #1171 (In Progress): RealRoots: first point is sometimes wrong?
- One can estimate the "stability" of the root by computing the value of the derivative at that root. By Taylor expans...
03 Apr 2018
- 18:57 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- It seems that actually the problem is in the instability of the roots: the approximate root is probably close to the ...
- 18:27 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- I found this bug while debugging @ApproxSolve@.
I had noticed that, when the answer was wrong, it was just on the fi... - 18:25 CoCoA-5 Bug #1171 (Closed): RealRoots: first point is sometimes wrong?
- It seems that sometimes (very rarely) the first root given by @RealRoots@ is wrong...
- 12:20 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #1170 (Closed): SmoothFactor: slow when a factor is found
- Consider the following:...
23 Mar 2018
- 19:01 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- All 0-dimensional ideals (i.e. those in x,y,..), now take less than 1 second.
I have added (as John suggested) a tim... - 09:07 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- (just to know, when testing)
All these examples in "c" have positive dimension.
All these examples in "x" are 0-dim... - 16:59 CoCoA-5 Slug #1114 (Closed): Some other examples for 0-dim radical
Also available in: Atom