Activity
From 30 Apr 2012 to 29 May 2012
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.
- 11:57 3.50 hours (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Implemented
25 May 2012
- 14:17 0.80 hour (Feature #131 (Closed): Conversion from bool to INT)
- Implemented
- 11:41 0.50 hour (Feature #131 (Closed): Conversion from bool to INT)
- KISS
24 May 2012
- 19:10 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- last check
- 18:57 0.65 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- fixed and cleaned doc for symbol
- 18:26 0.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- CVS checked in
- 12:49 1.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- changed name in all files and tests
21 May 2012
- 17:27 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- Anna liked "subscript"
- 15:54 0.25 hour (Feature #131 (Closed): Conversion from bool to INT)
- suggested name Bool01
- 11:48 0.40 hour (Feature #131 (Closed): Conversion from bool to INT)
- Not automatic
20 May 2012
- 13:28 0.60 hour (Bug #163 (Closed): RealRootsApprox bombs)
- Seems OK now
- 12:41 0.50 hour (Bug #163 (Closed): RealRootsApprox bombs)
- Added new C5 test specially for RealRoot
- 11:30 0.40 hour (Bug #163 (Closed): RealRootsApprox bombs)
- FStar should be F
17 May 2012
- 21:41 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Choosing names
- 18:32 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Final decision?
- 18:12 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Still looking for a good name
- 17:33 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Proposed names for IsGCDDomain
- 18:41 1.00 hour (Bug #162 (Closed): RegularityIndex <= 0)
- considering all cases and testing current code in cocoa-4 and 5
16 May 2012
- 18:20 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Origin of myGcdInField
- 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
- 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
- 15:31 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- An example failed too
- 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?
- 15:05 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- checked in CoCoAHelp
15 May 2012
- 22:51 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong)
- found silly bug
- 22:39 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Added man for AsINT AsRAT
- 22:10 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Where's the man page?
- 21:13 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Checked in
- 17:41 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- searching calls and usage
- 15:16 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Made & tested prototype
- 15:04 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Some more examples
- 14:56 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- AsRAT is defined in a package
- 14:51 0.25 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Should give a RAT
- 16:52 0.50 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- gcd for BigRat: cocoa/cocoalib
- 16:17 0.60 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- fixed documentation, checked other functions
- 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>
14 May 2012
- 15:03 0.30 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Reading homogeneous lists
- 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
- 12:23 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Reading homogeneous lists
- 12:14 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Sme students encountered the same problem
Also available in: Atom