Activity - CoCoA-5 - CoCoA Project

Activity

From 02 May 2012 to 31 May 2012

31 May 2012

18:58 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong): added related bug Anna Maria Bigatti

30 May 2012

16:40 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?): Impl completed and documented John Abbott
16:14 0.25 hour (Bug #163 (Closed): RealRootsApprox bombs): No further problems John Abbott
16:08 0.25 hour (Feature #7 (Resolved): Automatic mapping between (some) rings): Other types to which the idea may be applicable John Abbott
13:09 3.00 hours (Feature #7 (Resolved): Automatic mapping between (some) rings): certainly we ahve already spent more time discussing about it Anna Maria Bigatti

28 May 2012

12:43 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints): Forgot the C5 documentation; also logging testing & check-in times. John Abbott
11:57 3.50 hours (Bug #110 (Closed): Surprise return type for GCD of a list of ints): Implemented John Abbott

25 May 2012

14:17 0.80 hour (Feature #131 (Closed): Conversion from bool to INT): Implemented John Abbott
11:41 0.50 hour (Feature #131 (Closed): Conversion from bool to INT): KISS John Abbott

24 May 2012

19:10 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd): last check Anna Maria Bigatti
18:57 0.65 hour (Bug #137 (Closed): JAA does not like the name IndetInd): fixed and cleaned doc for symbol Anna Maria Bigatti
18:26 0.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd): CVS checked in Anna Maria Bigatti
12:49 1.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd): changed name in all files and tests Anna Maria Bigatti

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

Also available in: Atom