Activity
From 28 Apr 2012 to 27 May 2012
25 May 2012
- 15:15 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- fixed and cleaned doc for anonymous symbol
- 14:41 CoCoALib 0.20 hour (Feature #167 (Closed): Integer operations)
- Just starting
- 14:17 CoCoA-5 0.80 hour (Feature #131 (Closed): Conversion from bool to INT)
- Implemented
- 11:41 CoCoA-5 0.50 hour (Feature #131 (Closed): Conversion from bool to INT)
- KISS
24 May 2012
- 19:10 CoCoA-5 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- last check
- 18:57 CoCoA-5 0.65 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- fixed and cleaned doc for symbol
- 18:26 CoCoA-5 0.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- CVS checked in
- 12:49 CoCoA-5 1.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- changed name in all files and tests
22 May 2012
- 12:22 CoCoALib 0.25 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- replied to JAA comment on concrete/abstract classes
- 12:06 CoCoALib 0.30 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Needs 2 separate impls
21 May 2012
- 17:27 CoCoA-5 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- Anna liked "subscript"
- 17:11 CoCoALib 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Conclusion: Keep FractionField general
- 17:09 CoCoALib 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Conclusion: Keep FractionField general
- 17:06 CoCoALib 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Conclusion: Keep FractionField general
- 17:06 CoCoALib 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Conclusion: Keep FractionField general
- 15:09 CoCoALib 0.25 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- member field myBaseRingIsGCDDomain?
- 14:36 CoCoALib 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)
- Consequences
- 16:00 CoCoALib 1.00 hour (Feature #41 (Closed): Squarefree factorization - overhead)
- Weekly meeting 2012-05-21
- 11:50 CoCoALib 10.00 hours (Feature #41 (Closed): Squarefree factorization - overhead)
- Logging time
- 15:59 CoCoALib 4.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)
- First version of report
- 15:54 CoCoA-5 0.25 hour (Feature #131 (Closed): Conversion from bool to INT)
- suggested name Bool01
- 11:48 CoCoA-5 0.40 hour (Feature #131 (Closed): Conversion from bool to INT)
- Not automatic
20 May 2012
- 13:28 CoCoA-5 0.60 hour (Bug #163 (Closed): RealRootsApprox bombs)
- Seems OK now
- 12:41 CoCoA-5 0.50 hour (Bug #163 (Closed): RealRootsApprox bombs)
- Added new C5 test specially for RealRoot
- 11:30 CoCoA-5 0.40 hour (Bug #163 (Closed): RealRootsApprox bombs)
- FStar should be F
17 May 2012
- 21:41 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Choosing names
- 18:32 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Final decision?
- 18:12 CoCoA-5 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Still looking for a good name
- 17:33 CoCoA-5 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Proposed names for IsGCDDomain
- 18:41 CoCoA-5 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 CoCoA-5 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Origin of myGcdInField
- 17:49 CoCoA-5 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 CoCoA-5 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 CoCoA-5 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- An example failed too
- 15:01 CoCoA-5 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 CoCoA-5 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- checked in CoCoAHelp
- 15:03 CoCoALib 1.00 hour (Support #160 (Closed): Cleanup doc for rings)
- checked in and posted
- 12:25 CoCoALib 0.50 hour (Support #160 (Closed): Cleanup doc for rings)
- Final pass
- 12:06 CoCoALib 0.50 hour (Support #160 (Closed): Cleanup doc for rings)
- Done RingTwinFloat
- 11:18 CoCoALib 0.75 hour (Support #160 (Closed): Cleanup doc for rings)
- second pass: FractionFiled and QuotientRing
- 10:48 CoCoALib 0.50 hour (Support #160 (Closed): Cleanup doc for rings)
- Done RingZZ.txt RingQQ.txt
- 10:16 CoCoALib 1.75 hour (Support #160 (Closed): Cleanup doc for rings)
- designed new template and applied to polynomial rings
- 08:53 CoCoALib 1.00 hour (Support #160 (Closed): Cleanup doc for rings)
- worked on PolyRing, DenseUPolyRing, QuotienRing
- 07:47 CoCoALib 2.00 hours (Support #160 (Closed): Cleanup doc for rings)
- more structure for documentation of ring
15 May 2012
- 22:51 CoCoA-5 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong)
- found silly bug
- 22:39 CoCoA-5 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Added man for AsINT AsRAT
- 22:10 CoCoA-5 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Where's the man page?
- 21:13 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Checked in
- 17:41 CoCoA-5 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- searching calls and usage
- 15:16 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Made & tested prototype
- 15:04 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Some more examples
- 14:56 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- AsRAT is defined in a package
- 14:51 CoCoA-5 0.25 hour (Bug #158 (Closed): May AsRAT produce an INT?)
- Should give a RAT
- 16:52 CoCoA-5 0.50 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- gcd for BigRat: cocoa/cocoalib
- 16:17 CoCoA-5 0.60 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- fixed documentation, checked other functions
- 15:32 CoCoA-5 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 CoCoA-5 0.30 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Reading homogeneous lists
- 14:06 CoCoA-5 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 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Reading homogeneous lists
- 12:14 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)
- Sme students encountered the same problem
11 May 2012
- 19:01 CoCoALib 0.60 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)
- added test in cocoalib: test-GOperations2.C
- 12:36 CoCoALib 2.00 hours (Support #75 (Closed): Documentation review by Caleo)
- Not clear what a PPMonoid is, or what it's for.
10 May 2012
- 19:42 CoCoALib 0.30 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)
- added test in cocoa-5
- 15:44 CoCoALib 0.50 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)
- Now works
- 18:34 CoCoALib 1.00 hour (Bug #135 (Closed): Revise interface to SmallFpImpl & friends)
- First changes
- 18:16 CoCoALib 0.20 hour (Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C)
- Make a BOOST-free version?
- 17:16 CoCoALib 0.20 hour (Feature #156 (Closed): Brand new symbol(s))
- Remove enum AnonymousMarker
- 16:48 CoCoALib 0.10 hour (Feature #156 (Closed): Brand new symbol(s))
- Still to do --> Anna?
- 16:38 CoCoALib 0.70 hour (Feature #156 (Closed): Brand new symbol(s))
- No IsAnonymous fn
- 15:53 CoCoALib 1.50 hour (Feature #156 (Closed): Brand new symbol(s))
- First impl
09 May 2012
- 17:18 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- Impl idea
08 May 2012
- 09:49 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- An impl suggestion
07 May 2012
- 17:15 CoCoALib 0.20 hour (Feature #156 (Closed): Brand new symbol(s))
- More proposals for the head
- 17:01 CoCoALib 0.10 hour (Feature #156 (Closed): Brand new symbol(s))
- Generating several symbols
- 16:58 CoCoALib 0.10 hour (Feature #156 (Closed): Brand new symbol(s))
- Signatures for new PPMonoid ctors
- 16:54 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- Some first design ideas
- 17:06 CoCoALib 0.10 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)
- Guilty line
- 15:46 CoCoALib 4.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)
- Writing report about Bernardin's article
- 12:47 CoCoALib 0.30 hour (Feature #50 (Closed): Polynomial content)
- Scale factors
- 11:59 CoCoALib 0.10 hour (Feature #69 (Closed): p-th root)
- Essentially subsumed by #107
- 11:57 CoCoALib 0.30 hour (Feature #107 (Closed): Recognizing finite fields)
- PthPower
04 May 2012
- 21:38 CoCoALib 0.70 hour (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)
- Discussion with Anna and Alessandra
- 21:30 CoCoALib 0.30 hour (Feature #138 (Closed): Automatic conversion from bool3 to bool?)
- Modified Openmath
- 12:36 CoCoALib 4.50 hours (Support #75 (Closed): Documentation review by Caleo)
- Weekly meeting 2012-05-04
03 May 2012
- 15:32 CoCoALib 0.25 hour (Feature #151 (New): Iterated CanonicalHom)
- recollecting memories...
- 15:26 CoCoALib 0.10 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))
30 Apr 2012
- 17:58 CoCoALib 0.20 hour (Feature #142 (In Progress): Improve threadsafety)
- When to destroy rings?
- 17:44 0.20 hour (Bug #141 (Closed): Memory leak using Elim in C5)
- My fault (sort of)
Also available in: Atom