CoCoA » CoCoALib

27 Oct 2014

12:44 Feature #638: Time limit: let user specify time limit for a computation

I'm not sure about your @TimeOut@ proposal. We should talk about details before making any decision. I'm inclined t... John Abbott

12:39 Feature #638 (In Progress): Time limit: let user specify time limit for a computation

I agree that GBasis computation is the obvious candidate (are there any others?).
I am unclear about whether the tim... John Abbott

11:34 Feature #638: Time limit: let user specify time limit for a computation

John Abbott wrote:
> I believe it would be simplest to start with time limits being allowed only for certain functio... Anna Maria Bigatti

11:08 Feature #638: Time limit: let user specify time limit for a computation

I believe it would be simplest to start with time limits being allowed only for certain functions. Amongst other thi... John Abbott

11:02 Feature #638: Time limit: let user specify time limit for a computation

There is a built-in system "timer/alarm" mechanism which works via signals; I do not know much about this (incl. how... John Abbott

10:51 Feature #638: Time limit: let user specify time limit for a computation

What exactly does Robbiano want?
* setting a time limit should be accessible from CoCoA-5
* should it be a general ... John Abbott

10:45 Feature #638 (Closed): Time limit: let user specify time limit for a computation

Robbiano asked whether it would be possible to allow a user to specify a (CPU) time limit for a computation.
Discuss! John Abbott

10:03 Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)

In comment 5 I suggesting putting all code in namespace @CoCoA@; perhaps we should try doing this for some CoCoALib t... John Abbott

22 Oct 2014

14:39 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... John Abbott

15 Oct 2014

12:13 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 ... Anna Maria Bigatti

12:06 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... Anna Maria Bigatti

14 Oct 2014

21:34 Design #619: Modulus (for CRTMill) ambiguous

(see #631 comment 5) I think the problem goes away if the code is put inside @namespace CoCoA@.
John Abbott

18:26 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 ... John Abbott

18:22 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... Anna Maria Bigatti

18:18 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... John Abbott

21:32 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... John Abbott

21:25 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 ... John Abbott

20:03 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... John Abbott

18:26 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... Anna Maria Bigatti

18:23 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... John Abbott

13 Oct 2014

23:00 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"... John Abbott

20:47 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... John Abbott