Activity

From 29 Mar 2018 to 27 Apr 2018

12:30 CoCoALib Slug #1181 (In Progress): CpuTime is costly!: It might be useful to have something like @ProgressReporter@ which sets a flag when a time-limit has been exceeded?
... John Abbott
12:25 CoCoALib Slug #1181: CpuTime is costly!: I found the problem with an _ad hoc_ program to search for 6x6 matrices with large ratio hadamard/det.
In the main l... John Abbott
12:21 CoCoALib Slug #1181 (Closed): CpuTime is costly!: A call to *@CpuTime()@* is quite costly (on my machine with Fedora 25 Linux).
This means that a calls to @CheckFo... John Abbott
11:18 CoCoALib Design #1124: Move examples directory into doc -- or just change makefile?: I have added a dirty hack to @doc/Makefile@ so that @CopyInfo@ can be compiled even when @libcocoa.a@ does not exist
... John Abbott
11:05 CoCoALib Design #1180 (Resolved): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg): The impl has been modified:
* @BigInt@ ctor from @mpz_t@ and from @std::string@ now take 2 args, and are @private@; ... John Abbott

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... John Abbott
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... John Abbott

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... John Abbott
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 "... John Abbott
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... John Abbott
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:... John Abbott
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... John Abbott

20:54 CoCoALib Design #1179: Clean up SparsePolyOps-MonomialIdeals: converted code for *@PrimaryDecomposition_MonId@* into a member function.
Anna Maria Bigatti
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... Anna Maria Bigatti
20:29 CoCoALib Feature #1178 (In Progress): New function: myPrimaryDecomposition_0dim: Created stucture.
Translated the uppermost function.
Anna Maria Bigatti
20:27 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim: Translate the code from the CoCoAPackage @PrimaryDecomposition0.cpkg5@ into CoCoALib Anna Maria Bigatti
18:57 CoCoALib Design #1177: File names: use "SparsePolyOps" prefix for pertinent files: Now we have... Anna Maria Bigatti
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. Anna Maria Bigatti

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... John Abbott
13:41 CoCoALib Feature #1176 (In Progress): interval arithmetic: Implement interval arithmetic (for intervals with rational end points).
Some software libraries already implement ... John Abbott
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... John Abbott
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 ... John Abbott
09:29 CoCoA-5 Support #1175 (New): intersection: The intersection of MODULEs need to be exported. Elisa Palezzato
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... Elisa Palezzato

14:35 CoCoA-5 Bug #1172 (Feedback): MinSubsetOfGens: problem with generators = 0: Anna Maria Bigatti
14:31 CoCoA-5 Bug #1172: MinSubsetOfGens: problem with generators = 0: Fixed @GPolyList EmbedVectorList(const VectorList& theVL, const GRingInfo& theGRI, const long StartingFromCompIndex)@... Anna Maria Bigatti
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...
Anna Maria Bigatti
12:05 CoCoA-5 Bug #1172: MinSubsetOfGens: problem with generators = 0: which package?
Anna Maria Bigatti
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... Elisa Palezzato
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... John Abbott
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... John Abbott
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... John Abbott

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 ... Anna Maria Bigatti
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... Anna Maria Bigatti
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... Anna Maria Bigatti
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, *... John Abbott

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... Anna Maria Bigatti
22:59 CoCoALib Design #924: FlagManager for bool/bool3 flags: Anna Maria Bigatti wrote:
> Suggested names for the functions modifying this:
> @ComputeAndSetIsPrime3@, @ComputeAn... Anna Maria Bigatti

Also available in: Atom

CoCoA