CoCoA

16 May 2018

17:09 CoCoALib Design #410 (In Progress): New file: BigRatOps

Anna Maria Bigatti

16:58 CoCoALib Design #1145 (Feedback): File names, coding conventions: Fns, Ops, Operations? part 2

Confirmed decision: *Ops*. Anna Maria Bigatti

16:38 CoCoA-5 Feature #1122: New fn: RandomLinearForm

John Abbott wrote:
> Maybe we could use @PushBack@??
Depends on the ordering :-(
But we could make special imple... Anna Maria Bigatti

16:36 CoCoA-5 Feature #1122: New fn: RandomLinearForm

I have reversed the loop in @RandomLinearForm@ (in @SparsePolyRing.C@). Now it is significantly faster.
But why w... John Abbott

15:10 CoCoA-5 Feature #1122: New fn: RandomLinearForm

I have just tried calling @RandomLinearForm@ with a large ring containing 10000 indets; it took 1 minute, which is *S... John Abbott

15:48 CoCoALib 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 CoCoALib 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 CoCoALib Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?

Good!! go for it! :-)
Anna Maria Bigatti

14:07 CoCoALib 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

14:27 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?

I am not so happy with the suggested interface in comment 6: the parameter @eps@ is doing double duty (a bound for th... John Abbott

13:57 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #1182: "mod" for BigInt

Wait! I need to make a check....
Anna Maria Bigatti

19:12 CoCoALib 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 CoCoALib Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?

Should it be @BigIntOps@? Anna Maria Bigatti

23 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

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

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