Project

General

Profile

Activity

From 25 Mar 2018 to 23 Apr 2018

23 Apr 2018

12:30 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 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 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 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 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

19 Apr 2018

17:58 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 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

18 Apr 2018

20:24 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 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 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 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 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

06 Apr 2018

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

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...
John Abbott
13:41 Feature #1176 (In Progress): interval arithmetic
Implement interval arithmetic (for intervals with rational end points).
Some software libraries already implement ...
John Abbott

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

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

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

28 Mar 2018

20:25 Slug #1170 (Closed): SmoothFactor: slow when a factor is found
Consider the following:... John Abbott
 

Also available in: Atom