Activity

From 25 Oct 2013 to 23 Nov 2013

17:09 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE: JAA ha now implemented a partial fix to the problem: the new design should allow the multithreaded case to be handled... John Abbott
17:02 Design #415 (Closed): Remove AsPolyRing etc?: I'm fed up with having to make explicit "manual" casts from @ring@ to @PolyRing@ etc.
I've just fixed a line of co... John Abbott

19:14 Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE: Fix @OrdvArith@ fns so that they are threadsafe; at the moment they use a single buffer (@myOrdvBuffer@ and @myExpvBu... John Abbott
15:43 Feature #407: RingElem ctor from mpz_t (from Bruns): We could define a ctor which needs an extra "marker" parameter to resolve the ambiguity in the call @BigInt(R,0)@ bet... John Abbott

19:58 Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>: An advantage of Anna's suggested names is that they are more compact than using the @ConvertTo@ template fn.
JAA s... John Abbott
19:51 Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)): @PushFront@ and @PushBack@ for PPs have already been implemented (no idea when), but they were not documented. I hav... John Abbott

21:43 Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)): I, too, favour proposal (1):
* it is far simpler to implement
* it is simple to understand the restriction
* it shoul... John Abbott
19:04 Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)): Dear Anna,
I agree that (1) is the better choice. Given that PushBack copies the exponent vector, I think it is th... Winfried Bruns
18:50 Feature #342 (In Progress): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)): Winfried Bruns wrote:
> In my version of QQ[x] -> Z[x] I am using PushBack to build the target polynomial (also for ... Anna Maria Bigatti
13:32 Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)): This is the first i am using redmine actively.
In my version of QQ[x] -> Z[x] I am using PushBack to build the tar... Winfried Bruns
10:52 Bug #355 (Closed): Colon of zero ideal fails (zero-divisors): Anna Maria Bigatti
10:05 Bug #355: Colon of zero ideal fails (zero-divisors): all fixed (it didn't like to have a 0 in the divisor's generators).
Meanwhile @IsZeroDivisor@ has been implemented a... Anna Maria Bigatti

15:35 Feature #150: RingOf rather than owner? (and than AmbientRing, ...): *POSSIBLE DISADVANTAGE* Using names such as @RingOf@, @PPMOf@ (rather than having a single name) could make template ... John Abbott
14:48 Feature #356 (Closed): IsZeroDivisor: ... Anna Maria Bigatti
14:30 Feature #390 (Closed): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager: Anna Maria Bigatti
14:25 Bug #178 (Closed): IsHomog: should it throw an error when there is no grading?: Anna Maria Bigatti
13:50 Feature #312: LongRange(a,b) returning vector of long a..b (included): John Abbott wrote:
> It might be worth moving the impl into its own *separate file*: this would remove the need to i... Anna Maria Bigatti
13:45 Feature #215 (Feedback): Janet Bases: check and include code in CoCoALib (first prototype): The general task is fully done.
Yet to do: add JB field in ideal in cocoalib, and consequent functions in cocoa-5 Anna Maria Bigatti
13:39 Bug #349 (Closed): IdealOfPoints: gens are actually a GBasis: Anna Maria Bigatti
13:33 Bug #335 (Closed): Equality of (sub)modules: Anna Maria Bigatti
13:28 Design #411 (Feedback): design of factorization template class: Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoALib