Activity
From 07 Oct 2013 to 05 Nov 2013
30 Oct 2013
- 21:43 CoCoALib 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... - 19:04 CoCoALib 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... - 18:50 CoCoALib 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 ... - 13:32 CoCoALib 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... - 10:52 CoCoALib Bug #355 (Closed): Colon of zero ideal fails (zero-divisors)
- 10:05 CoCoALib 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...
29 Oct 2013
- 15:35 CoCoALib 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 ...
- 14:48 CoCoALib Feature #356 (Closed): IsZeroDivisor
- ...
- 14:30 CoCoALib Feature #390 (Closed): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager
- 14:25 CoCoALib Bug #178 (Closed): IsHomog: should it throw an error when there is no grading?
- 13:50 CoCoALib 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... - 13:45 CoCoALib 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 - 13:39 CoCoALib Bug #349 (Closed): IdealOfPoints: gens are actually a GBasis
- 13:33 CoCoALib Bug #335 (Closed): Equality of (sub)modules
- 13:28 CoCoALib Design #411 (Feedback): design of factorization template class
28 Oct 2013
- 14:04 CoCoA-5 Bug #32 (Feedback): Elim(t, I)
- done, tested, documented
26 Oct 2013
- 00:40 CoCoA-5 Design #412 (In Progress): intersection (all lower case)
- CoCoA5 manual is confusing about @intersect@ and @Intersection@.
Rectify!
- 21:31 CoCoA-5 Design #412: intersection (all lower case)
- In CoCoALib we have *@intersect@*, so we have the same name in CoCoA-5.
I set *@Intersection@* just for backward com...
25 Oct 2013
- 22:50 CoCoA-5 Design #412 (In Progress): intersection (all lower case)
- CoCoA-5 has @Intersection@ but not @intersection@.
Should we change the name?
- 22:47 CoCoA-5 Bug #32: Elim(t, I)
- Not really related to original problem but......
- 22:36 CoCoA-5 Bug #279: Bug in Radical (actually a RingHom problem)
- Here are two more problem cases with @radical@...
24 Oct 2013
- 14:56 CoCoALib Design #411: design of factorization template class
- > Currently JAA prefers method (A) because:
> # it's already impl'ed, so no extra work needed
> # it is easier to u...
23 Oct 2013
- 21:44 Bug #402 (Closed): Problem with 64-bit BOOST on Linux (Werner)
- The matter was finally resolved via Skype -- an extra complication arose because Werner had an "anomalous" multiple i...
- 20:50 CoCoALib Feature #39 (Feedback): Squarefree factorization
- The issue has been resolved by implementing Bernardin's algm (which seems to work quite well in practice).
The code ... - 20:46 CoCoALib Feature #42 (Closed): Squarefree factorization - generic case
- Not sure how good an idea it is to have the generic fn.
Anyway there is already @SqfreeFactor_generic@.
Closing t... - 20:41 CoCoALib Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`
- JAA has now ported d'Ali's code into CoCoALib (and added doc & tests).
Closing this issue.
- 20:37 CoCoALib Feature #41 (Closed): Squarefree factorization - overhead
- Task is essentially finished now that d'Ali's code has been ported.
Closing.
- 20:34 CoCoALib Feature #43 (Closed): Squarefree factorization - for polynomials
- This entire task subtree was effectively resolved by the porting of d'Ali's impl of Bernardin's algm (see #47).
Th... - 20:31 CoCoALib Feature #44 (Closed): Squarefree factorization - univariate polynomials
- The multivariate code (port of d'Ali's impl of Bernardin's algm) also handles the univariate case, and seems to be fa...
- 20:26 CoCoALib Feature #45 (Closed): Squarefree factorization - univariate polynomials, char 0
- This is effectively covered by the port of d'Ali's impl of Bernardin's (multivariate) algm. Efficiency of the multiv...
- 20:23 CoCoALib Feature #46 (Closed): Squarefree factorization - univariate polynomials, char p > 0
- This task is already handled by the port of d'Ali's impl of Bernardin's algm.
- 20:10 CoCoALib Feature #48 (Closed): Squarefree factorization - multivariate polynomials, char 0
- This case is effectively covered by the porting of d'Ali's code.
Might still need some tweaking to handle "strange... - 20:06 CoCoALib Feature #49 (Closed): Squarefree factorization - multivariate polynomials, char p > 0
- This case is already dealt with by the porting of d'Ali's code (see #47).
- 15:32 CoCoALib Feature #47: Squarefree factorization - multivariate polynomials
- Translation of d'Ali's impl is now complete.
Code has been checked in; incl doc and tests.
Some minor points remain ... - 14:42 CoCoALib Design #411 (In Progress): design of factorization template class
- Once this matter is resolved, we can change the file @TmpFactor@ into @factor@; strictly the @Tmp@ prefix should have...
- 14:28 CoCoALib Design #411: design of factorization template class
- This question arose because I have just implemented @SqfreeFactor@, and thought that it might be nice to guarantee th...
- 12:54 CoCoALib Design #411 (Closed): design of factorization template class
- Which is the better of the following two ways of implementing the factorization class?
(A) the current impl
* rec... - 12:42 CoCoALib Support #391 (In Progress): Check consistency of template class factorization
- I noticed yesterday that there is a fn @ourCheckConsistency@ for factorizations.
This probably does what is needed -...
20 Oct 2013
- 14:49 CoCoALib Feature #47 (In Progress): Squarefree factorization - multivariate polynomials
- JAA is translating Alessio D'Ali's impl (in CoCoA5) into C++.
Most of the translation is complete, but it does not...
18 Oct 2013
- 20:38 CoCoALib Feature #407: RingElem ctor from mpz_t (from Bruns)
- I have an initial implementation. CoCoALib compiles, but there are _compilation_ problems in the tests. The problem...
- 16:37 CoCoALib Feature #407: RingElem ctor from mpz_t (from Bruns)
- Should there also be assignment of @RingElem@ values from @mpz_t@ and @mpq_t@?
NOTE: a simple (but inefficient) impl... - 16:32 CoCoALib Design #410 (Closed): New file: BigRatOps
- Should @BigRat@ be split into the type defn and a separate @BigRatOps@?
Why is @IntOperations@ not called @BigIntO...
17 Oct 2013
- 08:30 CoCoALib Feature #409 (New): Minimal syzygies (optimized implementation)
- As a first step towards a good implementation of @resolution@ in CoCoALib, implement optimized @MinSyz@.
(Naive vers...
16 Oct 2013
- 16:33 Bug #402 (Feedback): Problem with 64-bit BOOST on Linux (Werner)
- There was one true (design) error: I have now modified @configure@ and @fixed_part2@ so that they are now sensible/co...
15 Oct 2013
- 14:31 CoCoALib Design #408 (Closed): Rename MatrixArith to MatrixOperations
- Following the name @IntOperations@ it seems better to use the name @MatrixOperations@ rather than the actual @MatrixA...
14 Oct 2013
- 12:05 CoCoALib Feature #407 (In Progress): RingElem ctor from mpz_t (from Bruns)
- Pros and cons
Pros:
* the proposed ctors would make it easier to use CoCoALib features from software which already u... - 11:51 Bug #402: Problem with 64-bit BOOST on Linux (Werner)
- Werner reports that a quick check suggests that my hack works.
13 Oct 2013
- 19:52 Bug #402: Problem with 64-bit BOOST on Linux (Werner)
- JAA has sent to Werner 4 modified files -- awaiting confirmation that they work for him.
The "solution" is a cheap h...
12 Oct 2013
- 20:05 Bug #402 (In Progress): Problem with 64-bit BOOST on Linux (Werner)
- JAA is considering simplifying the script for locating BOOST:
essentially it stops as soon as it finds an installati... - 19:58 CoCoALib Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns)
- Bruns would like a ctor for @RingElem@ from an @mpz_t@ (or perhaps even @mpz_class@), rather than having to create an...
11 Oct 2013
- 13:01 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal
- ReducedGBasis is defined in package: no wonder it is slow!
I will try to implement it in CoCoALib and see how heavy ... - 12:52 CoCoA-5 Slug #405 (In Progress): ReducedGBasis not memorized in an ideal
- This is what happens...
10 Oct 2013
- 14:26 CoCoA-5 Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml
- write a README with instructions about how to write an entry in CoCoAManual/CoCoAHelp.xml
- 12:42 CoCoALib Design #404: deg(F,X) instead of MaxExponent(F,X) ?
- The fn for computing the degree of an indet in a PP is called *@exponent@* (presumably the name was chosen after the ...
09 Oct 2013
- 18:17 CoCoA-5 Slug #405 (Closed): ReducedGBasis not memorized in an ideal
- Sometimes C5 seems not to memorize a computed GBasis -- or is it simply re-interreducing?
Anyway, this is an ugly sl... - 18:14 CoCoALib Design #404 (Closed): deg(F,X) instead of MaxExponent(F,X) ?
- Currently CoCoALib has a fn called *@MaxExponent@* which computes the degree of a poly in an indet.
Can we rename ... - 18:09 CoCoALib Feature #91: Return type & name for "indets" of a PP
- Name suggestions:
* *@IndetSupport@*
Related fns could be *@DependsOn@* as in @DependsOn(f,x)@. Would we need...
Also available in: Atom