Activity
From 25 Sep 2014 to 24 Oct 2014
23 Oct 2014
-
22:23 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Design #636: Distinguish indets from symbols in coeffring in Use command
- Consider the following scenario:...
-
18:42 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Support #548: Printing rings with ID
- I have implemented in CoCoALib ...
22 Oct 2014
-
20:11 CoCoA-5 Design #635: Automatic mapping of RingElem (in operation with a compound value)
- Robbiano's scenario was the following... a bit simplified:...
-
20:07 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Design #634 (Rejected): Symbol in the coeff ring
- Consider the following mini-session...
-
14:39 CoCoALib Bug #593: Temporary directories used during configuration
- Christof reported problems with my one of my shell scripts which uses the @trap@ facility to guarantee proper cleanin...
15 Oct 2014
-
12:13 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- John Abbott wrote:
> After speaking to Anna by phone, I have changed the name of @rank@ into @rk@.
>
> I'm ready ... -
12:06 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- John Abbott wrote:
> I now believe the ambiguity would disappear if the entire function were placed inside @namespac...
14 Oct 2014
-
21:34 CoCoALib Design #619: Modulus (for CRTMill) ambiguous
- (see #631 comment 5) I think the problem goes away if the code is put inside @namespace CoCoA@.
-
18:26 CoCoALib Design #619: Modulus (for CRTMill) ambiguous
- Assuming my explanation in the _correction_ in comment 1 is correct, then the STL people could break our code at any ...
-
18:22 CoCoALib Design #619: Modulus (for CRTMill) ambiguous
- John Abbott wrote:
> I think the C++ rules will compel us to change name -- asking the user to write @CoCoA::modulus... -
18:18 CoCoALib Design #619 (In Progress): Modulus (for CRTMill) ambiguous
- I think the C++ rules will compel us to change name -- asking the user to write @CoCoA::modulus@ every time is not ac...
-
21:32 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- I now believe the ambiguity would disappear if the entire function were placed inside @namespace CoCoA@. We could mo...
-
21:25 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- Strictly speaking the proper solution to the problem is to put a @using CoCoA::rank;@ inside the function which will ...
-
20:03 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- After speaking to Anna by phone, I have changed the name of @rank@ into @rk@.
I'm ready to do CVS check in, but fi... -
18:26 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- John Abbott wrote:
> I think the problem arises because @rank(M)@ entails a user type conversion from @matrix@ to @C... -
18:23 CoCoALib Bug #631 (In Progress): Ambiguous: rank for matrix (in ex-matrix1.C)
- I think the problem arises because @rank(M)@ entails a user type conversion from @matrix@ to @ConstMatrixView@.
@s... -
13:05 CoCoA-5 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 ...
13 Oct 2014
-
23:00 CoCoALib Bug #593 (In Progress): Temporary directories used during configuration
- I now think that a good solution would be to put tmpdirs in @configuration/TMP/@. That way they can all be "cleaned"...
-
20:47 CoCoALib Feature #630: Add graeffe function?
- If I recall correctly, Bini said that graeffe can also be done for polynomial systems. Right now I cannot see when i...
03 Oct 2014
-
12:03 CoCoA-5 Support #632: MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
- I have revised some impls in @CoCoALibSupplement.C@ to avoid some warnings by Clang/LLVM; the problem derived from th...
-
12:00 CoCoA-5 Support #632: MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
- Currently the edit has to be done by hand.
Is it worth trying to add the flag automatically? (_e.g._ during config... -
11:57 CoCoA-5 Support #632 (Closed): MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
- Recent MacOSX compilers produce lots of (spurious?) warnings when compiling BOOST code.
The warnings can be suppre...
26 Sep 2014
-
15:40 CoCoALib Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C)
- Apple LLVM version 6.0 (Laura's new computer) reports that @rank@ is ambiguous in @ex-matrix1.C@
25 Sep 2014
-
16:10 CoCoALib Feature #630 (Closed): Add graeffe function?
- Add a new fn @graeffe@ which transforms a polynomial into one whose roots are the squares of the root of the original...
-
14:35 CoCoA-5 Support #629: Windows-GUI: compilation with MinGW
- == Download and unpack Boost 1.56
http://sourceforge.net/projects/boost/files/boost/1.56.0/
start bootstrap.bat g... -
13:44 CoCoA-5 Support #629: Windows-GUI: compilation with MinGW
- == Download and unpack GMP 6.0.0a
https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
(might need to install zlib... -
13:43 CoCoA-5 Support #629: Windows-GUI: compilation with MinGW
- (Following and updating Jan Limbeck's notes)
== Download QT 5.3.2 32 Bit with MinGW compiler
http://download.qt-... -
11:13 CoCoA-5 Support #629 (In Progress): Windows-GUI: compilation with MinGW
- Instructions on how to compile with MinGW (including GUI)
Also available in: Atom