Project

General

Profile

Activity

From 19 Apr 2018 to 18 May 2018

18 May 2018

19:02 Design #1177 (In Progress): File names: use "SparsePolyOps" prefix for pertinent files
(split SparsePolyOps-RingElem)
SparsePolyOps-EvalInterval.C*
SparsePolyOps-IdealOfPoints.C*
SparsePolyOps-IdealZ...
Anna Maria Bigatti
18:33 Slug #1181: CpuTime is costly!
Here is a brief comment about the design: I shall suppose that the class is called @CpuTimeLimit@
*(1)* simple us...
John Abbott
17:52 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
Anna Maria Bigatti
17:12 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2
renamed @IntOperations@ into @BigIntOps@ Anna Maria Bigatti
17:10 Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
Renamed @IntOperations@ into @BigIntOps@
(this should have been in #1145)
Anna Maria Bigatti

17 May 2018

18:11 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2
renamed @MatrixOperations@ in @MatrixOps@
renamed @VectorOperations@ in @VectorOps@
Anna Maria Bigatti
17:58 Slug #1181: CpuTime is costly!
I now have a prototype which works well in one small test.
The new design does not mimic the old interface... :-/
John Abbott
16:35 Design #1163: Split SparsePolyRing.C in smaller files
Split @SparsePolyIter.H@
(no corresponding C file: only class definition and inline functions)
Anna Maria Bigatti

16 May 2018

17:09 Design #410 (In Progress): New file: BigRatOps
Anna Maria Bigatti
16:58 Design #1145 (Feedback): File names, coding conventions: Fns, Ops, Operations? part 2
Confirmed decision: *Ops*. Anna Maria Bigatti
15:48 Feature #1169: New function: RandomLinearForm (CoCoALib)
John Abbott wrote:
> Probably there should also be a version with interface: *@RandomLinearForm(P, RndSeq)@* where @...
Anna Maria Bigatti
15:02 Feature #1169: New function: RandomLinearForm (CoCoALib)
I have added @RandomLinearForm@ to documentation for @SparsePolyRing@.
Probably there should also be a version wit...
John Abbott
15:46 Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
Good!! go for it! :-)
Anna Maria Bigatti
14:07 Support #847 (In Progress): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
I like the name @BigIntOps@. The file does also contain several fns which accept @MachineInt@ args (and several whic... John Abbott
13:57 Design #1182 (Resolved): "mod" for BigInt
I have improved the documentation about @operator%@ by saying that its sign is the same as that of the quotient, and ... John Abbott

06 May 2018

21:51 Design #1182: "mod" for BigInt
A quick look on the internet suggests that @a%b@ is uniquely defined only if @a@ is non-negative and @b@ is positive;... John Abbott

05 May 2018

19:07 Design #1182: "mod" for BigInt
John Abbott wrote:
> There is documentation for *@operator%@* in the file @IntOperations.html@. There it points out...
Anna Maria Bigatti
16:48 Design #1182: "mod" for BigInt
There is documentation for *@operator%@* in the file @IntOperations.html@. There it points out the existence of two ... John Abbott

04 May 2018

19:29 Design #1182: "mod" for BigInt
hmmm, I had a negative n, I didn't think of the different behaviour with negative entries.
I suppose I need to read ...
Anna Maria Bigatti
19:21 Design #1182: "mod" for BigInt
Wait! I need to make a check....
Anna Maria Bigatti
19:12 Design #1182 (Closed): "mod" for BigInt
n % m, with n,m BigInt gives negative values.
Whether this is reasonable when working in FFp, I find it odd for BigI...
Anna Maria Bigatti
19:08 Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
Should it be @BigIntOps@? Anna Maria Bigatti

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
 

Also available in: Atom