CoCoA » CoCoA-5

12 Nov 2014

11:26 Bug #650: CoCoA-5 test (SourceAnna); problem in HilbertPoly

I have already reported by phone that there is a problem (with @SourceAnna@) on 32-bit Linux.
On my 64-bit MacOSX ... John Abbott

11:22 Bug #650 (Closed): CoCoA-5 test (SourceAnna); problem in HilbertPoly

Sometimes the CoCoA-5 test @SourceAnna@ fails (on 64-bit MacOSX).
The problem appears when executing the line:
<p... John Abbott

10 Nov 2014

16:42 Design #646: Unique copies of free modules?

I propose putting all the technical discussion in #647, a parallel issue to this one (since practically all the real ... John Abbott

16:33 Design #646 (New): Unique copies of free modules?

A recent bug report from Oneto suggests that it is surprising/unnatural that @NewFreeModule@ should create distinct (... John Abbott

07 Nov 2014

16:49 Design #637: Undesirable consequence of automatic mapping of RingElems?

While talking to Anna the following idea came up. Non-simple elements of coefficient rings are printed inside bracke... John Abbott

29 Oct 2014

12:39 Bug #643 (Closed): GenRepr fails if there are zero generators

@GenRepr@ should not give error in this instance:... John Abbott

25 Oct 2014

17:06 Design #637: Undesirable consequence of automatic mapping of RingElems?

Here is a short session valid with the current version of CoCoA-5... John Abbott

23 Oct 2014

22:23 Design #637 (In Progress): Undesirable consequence of automatic mapping of RingElems?

I think the values of @deg(A)@ and @deg(B)@ are well defined.
If we have @not(deg(A) = deg(B))@ then it would be q... John Abbott

22:12 Design #637 (Closed): Undesirable consequence of automatic mapping of RingElems?

Suppose we allow automatic mapping of ringelems into superrings.
Consider the following scenario:... John Abbott

22:05 Design #636: Distinguish indets from symbols in coeffring in Use command

Consider the following scenario:... John Abbott

18:42 Design #636 (Rejected): Distinguish indets from symbols in coeffring in Use command

The @use@ command assigns the top-level variables whose names match those of the symbols in the ring. The assigned v... John Abbott

18:37 Design #635: Automatic mapping of RingElem (in operation with a compound value)

At the moment the idea of automatically "mapping down" ring elements makes me feel uneasy (perhaps solely because I h... John Abbott

12:57 Design #635: Automatic mapping of RingElem (in operation with a compound value)

The description says it all, but I prefer phrase it also like this:... Anna Maria Bigatti

12:32 Design #635 (In Progress): Automatic mapping of RingElem (in operation with a compound value)

I note that this proposal would still produce an error if one tries to compute:... John Abbott

12:21 Support #548: Printing rings with ID

I think it has just been forgotten; it seems like a good idea to me. Indeed now that direct printing produces a very... John Abbott

11:08 Support #548: Printing rings with ID

I have implemented in CoCoALib ... Anna Maria Bigatti

22 Oct 2014

20:11 Design #635: Automatic mapping of RingElem (in operation with a compound value)

Robbiano's scenario was the following... a bit simplified:... John Abbott

20:07 Design #635 (Closed): Automatic mapping of RingElem (in operation with a compound value)

If we decide to allow automatic mapping of @RingElem@ values, Anna suggests that only simple/single values can be aut... John Abbott

20:02 Design #634 (Rejected): Symbol in the coeff ring

My previous comment convinces me that it is not feasible to make @a@ have the value of the symbol @a@ in the smallest... John Abbott

18:35 Design #634: Symbol in the coeff ring

There is a potential problem with my suggestion of symbols being mapped into the smallest containing subring. In the... John Abbott

16:11 Design #634: Symbol in the coeff ring

The problem was highlighted when Robbiano wanted to multiply a matrix (over @K@) by @a@; CoCoA-5 gave a _mixed rings_... John Abbott

16:08 Design #634 (Rejected): Symbol in the coeff ring

Consider the following mini-session... John Abbott

14 Oct 2014

13:05 Feature #633 (New): New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM

I think that ScalarProduct(MODULELEM,LIST) is OK
but MATRIX * MODULELEM may be ambiguous (row or col?)
For sure we ... Anna Maria Bigatti