Activity
From 21 Apr 2012 to 20 May 2012
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
24 Apr 2012
-
15:35 0.10 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- Return record fields in IndetSymbols
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
Also available in: Atom