Activity
From 08 Dec 2015 to 06 Jan 2016
06 Jan 2016
-
14:40 Slug #837: factor is very slow on some simple input polynomials
- My "fast" machine in Kassel takes more than 60000s for @x^780+780@, and 1333s for @x^988+988@.
In comparison all pol... -
- The problem lies in CoCoALib, but for simplicity I present it here as CoCoA-5 code.
@factor(x^780+780)@ is very sl...
23 Dec 2015
-
12:25 Bug #784: threadsafety: Scott Meyers's advice about cached values
- I read a bit in Stroustrup C++ book. There I found a method @std::call_once@ (in @<mutex>@). This method could be a n...
18 Dec 2015
-
- I have checked in the code I currently have. no doc, no examples, no tests.
An unofficial, simple example (@Fq4.C@ ...
17 Dec 2015
-
16:25 Design #64: submat takes only vector<long>
- John Abbott wrote:
> If we were to adopt the idea of @RowSelect@ and @ColSelect@ then we could offer several signatu... -
- If we were to adopt the idea of @RowSelect@ and @ColSelect@ then we could offer several signatures for @submat@:
* @... -
- John Abbott wrote:
> Here are some other possible suggestions:
I think that's too many, and I think it's not wort... -
- JAA now has a prototype impl which still needs lots of cleaning, but some simple tests pass :-)
I'm hoping to clea...
16 Dec 2015
-
- Scott Meyers advises making interfaces which are "easy to use correctly and hard to use incorrectly"; I think this is...
-
- Here are some other possible suggestions:
* @submat(M, AllRows, ...)@ to select just certain columns
* @submat(M, .... -
- I don't think we should allow other integer types, after all we want to discourage other integer types.
One think I ... -
- -- fixed test anna.cocoa5
-- updated CoCoA-5 manual
-- made suggestion for submat ;-)
10 Dec 2015
-
- It was quite trivial to add the new fns. I have updated the doc too.
Should there be a specific test?
Should imp... -
- I found a case where I needed to obtain the least non-negative residue from a @SmallFpImpl::value@. Doing this via @...
-
- Ignoring the question of the name for @ColCheck@, is it better to have a single fn with a flag to say whether or not ...
-
- I'm also writing *@IsUpperTriangular@*.
*Addendum* (JAA) also @IsLowerTriangular@? Will these go into a "matrix" so... -
- I'm writing another function *HasNegEntry* which checks whether there is a negative entry.
(then we can think of a be... -
- lines 304 and following (@#ifdef@) in @PPOrdering.C@ should be deleted:
we do non require to have a PositiveGrading f... -
- I have just checked in a modified version of @MatrixForOrdering.C@ following Anna's suggestion in comment 2.
Now "...
09 Dec 2015
-
- First bug trapped:
IsPositiveOrd wants @rk(M) == NumRows(M)@.
This function is called when making a term ordering o... -
- JAA believes the root cause is the check that a grading is strictly positive when weakly positive is sufficient.
-
- The current CVS produces 3 failed CoCoALib tests:
@test-MatrixForOrdering1, test-RingWeyl1, test-SparsePolyRing1@
a... -
- JAA will try to implement this before xmas (2015!)
But first some Gluehwein ;-) -
- I wonder whether @CoCoA_THREADSAFE@ is to be just a temporary measure. Presumably at some point practically all comp...
-
- I spoke to Mario this morning about threadsafety in CoCoALib (also thinking about Mario's new code which has just bee...
-
- Bearing in mind the suggestion in issue #142 about using a compile-time switch to indicate whether we want threadsafe...
-
- See the examples in issue #784; I think this should cover many cases.
-
- Adapt Mario's new code so that it is threadsafe (when @CoCoA_THEADSAFE@ is set).
-
- Currently a @MachineInt@ is converted to a @long@ using the function @AsSignedLong@ which includes a check for overfl...
08 Dec 2015
-
- The fact that UIBC needs to be visible in @RingWeyl.C@ is "unfortunate". John and Mario think this may be a symptom ...
-
- With Mario's new code the file @RingWeyl.C@ must include @TmpUIBC.H@ otherwise it does not compile.
This is likely... -
- I have renamed the fns and changed all calls -- well, everything compiles.
Will check doc, then check-in.
-
- A simple interface is: a function which forces computation of a GBasis (without copying the result), and a function w...
-
- Here is a brief "one-way discussion" about some function interfaces: I shall consider just @IsMonomial@, but it is a ...
-
- With Mario's help we have integrated his code into (my copy of) the CoCoA sources.
Some questions have arisen whic...
Also available in: Atom