Activity
From 08 Oct 2014 to 06 Nov 2014
29 Oct 2014
-
12:39 Bug #643 (Closed): GenRepr fails if there are zero generators
- @GenRepr@ should not give error in this instance:...
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...
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... -
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:... -
22:05 Design #636: Distinguish indets from symbols in coeffring in Use command
- Consider the following scenario:...
-
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...
-
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...
-
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:...
-
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:...
-
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...
-
11:08 Support #548: Printing rings with ID
- I have implemented in CoCoALib ...
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:...
-
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...
-
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...
-
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...
-
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_...
-
16:08 Design #634 (Rejected): Symbol in the coeff ring
- Consider the following mini-session...
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 ...
Also available in: Atom