CoCoA » CoCoA-5

21 May 2012

17:27 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

Anna liked "subscript" John Abbott

15:54 0.25 hour (Feature #131 (Closed): Conversion from bool to INT)

suggested name Bool01 Anna Maria Bigatti

11:48 0.40 hour (Feature #131 (Closed): Conversion from bool to INT)

Not automatic John Abbott

20 May 2012

13:28 0.60 hour (Bug #163 (Closed): RealRootsApprox bombs)

Seems OK now John Abbott

12:41 0.50 hour (Bug #163 (Closed): RealRootsApprox bombs)

Added new C5 test specially for RealRoot John Abbott

11:30 0.40 hour (Bug #163 (Closed): RealRootsApprox bombs)

FStar should be F John Abbott

17 May 2012

21:41 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Choosing names John Abbott

18:32 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Final decision? Anna Maria Bigatti

18:12 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Still looking for a good name John Abbott

17:33 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Proposed names for IsGCDDomain Anna Maria Bigatti

18:41 1.00 hour (Bug #162 (Closed): RegularityIndex <= 0)

considering all cases and testing current code in cocoa-4 and 5 Anna Maria Bigatti

16 May 2012

18:20 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Origin of myGcdInField John Abbott

17:49 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Discussion with Anna about name of IsGCDDomain John Abbott

15:36 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Obvious, but I'll make it explicit John Abbott

15:31 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

An example failed too John Abbott

15:01 0.40 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

What if GCD in a field gave error? John Abbott

15:05 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)

checked in CoCoAHelp Anna Maria Bigatti

15 May 2012

22:51 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong)

found silly bug Anna Maria Bigatti

22:39 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Added man for AsINT AsRAT Anna Maria Bigatti

22:10 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Where's the man page? John Abbott

21:13 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Checked in John Abbott

17:41 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)

searching calls and usage Anna Maria Bigatti

15:16 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Made & tested prototype John Abbott

15:04 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Some more examples John Abbott

14:56 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

AsRAT is defined in a package John Abbott

14:51 0.25 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Should give a RAT John Abbott

16:52 0.50 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

gcd for BigRat: cocoa/cocoalib Anna Maria Bigatti

16:17 0.60 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

fixed documentation, checked other functions Anna Maria Bigatti

15:32 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

written code for converting general list into vector<BigInt> Anna Maria Bigatti

14 May 2012

15:03 0.30 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Reading homogeneous lists John Abbott

14:06 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Separate name for int GCD is a *bad* idea John Abbott

12:23 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Reading homogeneous lists John Abbott

12:14 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Sme students encountered the same problem John Abbott

24 Apr 2012

15:35 0.10 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

Return record fields in IndetSymbols John Abbott

23 Apr 2012

16:55 0.20 hour (Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window)

Blank lines is a recent problem John Abbott