Activity
From 24 Jan 2014 to 22 Feb 2014
22 Feb 2014
-
11:40 CoCoA-5 Bug #443: lambda keyword
- Here are the steps to make once we have decided what to do:
Step 1: modify interpreter (ought to be very easy, will ... -
10:22 CoCoA-5 Bug #443: lambda keyword
- Being "trivial to implement" is surely a *big advantage*!
I wonder whether @fn...EndFn@ is too short; specifically d... -
11:35 CoCoA-5 Support #439: CoCoA website: download pages and installing instructions
- Some points to clarify on the website:
* what to download and do for a *completely new* installation (CoCoA+emacs)
* ... -
10:58 CoCoA-5 Bug #447: CoCoA-5.0.3 Microsoft std::bad_alloc
- On my portable it gave no problem: just returned the result @ideal()@.
With full debugging I get a failed assertion:... -
10:49 CoCoA-5 Bug #446: intersection fails with zero ideal
- We must remember to add CoCoALib tests for all these "trivial cases" -- they should be in CoCoALib rather than CoCoA-...
21 Feb 2014
-
18:37 CoCoA-5 Bug #444: Not keyword/operator
- Done stage 2. All C5 tests pass. Checked in.
NB old code for @Not@ operator has only been commented out for now... -
16:44 CoCoA-5 Bug #444: Not keyword/operator
- Stage 1 done. About to check in!
-
16:14 CoCoA-5 Bug #444: Not keyword/operator
- There seems to be no doubt that the current @Not@ operator is problematic: even we, the C5 designers, find it "danger...
-
14:50 CoCoA-5 Bug #444: Not keyword/operator
- John Abbott wrote:
> I've just noticed a real howler in @hilop.cpkg5@
> [...]
> which is very different from the orig... -
13:00 CoCoA-5 Bug #444: Not keyword/operator
- A moment's refection about the above howler has put me in panic mode; how come anything works in CoCoA-5???
Should... -
12:57 CoCoA-5 Bug #444: Not keyword/operator
- I've just noticed a real howler in @hilop.cpkg5@...
-
12:39 CoCoA-5 Bug #444: Not keyword/operator
- John Abbott wrote:
> I have just grepped through the C5 packages and there are several places where the operator @No... -
01:29 CoCoA-5 Bug #444: Not keyword/operator
- I have just grepped through the C5 packages and there are several places where the operator @Not@ is incorrectly appl...
-
16:27 CoCoA-5 Bug #443: lambda keyword
- I still vote for (with the great advantage of being trivial to implement ;-)...
-
16:18 CoCoA-5 Bug #443: lambda keyword
- I found this neat little example in a file I was playing with:...
-
16:07 CoCoA-5 Bug #443: lambda keyword
- I forgot to add that if we have a very compact syntax for simple anon fns (single expr) then it is less important to ...
-
16:04 CoCoA-5 Bug #443: lambda keyword
- Here's yet another idea (for simple anon fns), I suppose inspired by TeX.
An anon fn is any expression containing at... -
16:01 CoCoA-5 Bug #443: lambda keyword
- John Abbott wrote:
> Over lunch I made a survey (sample size = 1): -Oscar-Anonymous had no idea ;-)
> My favourite... -
15:50 CoCoA-5 Bug #443: lambda keyword
- Over lunch I made a survey (sample size = 1): Oscar had no idea what a "lambda function" might be (nor indeed what is...
-
15:20 CoCoA-5 Bug #443: lambda keyword
- I prefer a name intstead of the arrow.
So I looked at synonyms: (mind you: I'm joking)
X --> definitely not g... -
13:16 CoCoA-5 Bug #443: lambda keyword
- I've spoken to Anna and she has accepted that having @lambda@ as a keyword in CoCoA-5 is inconvenient. The question ...
-
12:53 CoCoA-5 Design #449 (Closed): Emacs UI: names of emacs fns
- Most emacs variables dealing with the CoCoA5 emacs interface are called @cocoa5-*@ but a few do not begin with @cocoa...
-
12:39 CoCoA-5 Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3
- No problems over the last month (incl. plenty of use).
So closing.
-
12:35 CoCoA-5 Bug #445 (Feedback): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- The change was to @cocoa5-beg-block-re@; I simply added initial @"\\<"@ and final @"\\>"@ -- it seems that they had b...
-
12:18 CoCoA-5 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- I think I have fixed it! :-)
Now the question is how to test it thoroughly?
[answer: a class full of unwitting guine... -
12:16 CoCoA-5 Bug #446: intersection fails with zero ideal
- John Abbott wrote:
> The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ ... -
11:59 CoCoA-5 Bug #446: intersection fails with zero ideal
- The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ and then "plays" with ...
-
11:39 CoCoA-5 Bug #446: intersection fails with zero ideal
- I had fixed this kind of problemi in @SparsePolyRing.C@ for colon...
20 Feb 2014
-
00:54 CoCoA-5 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- I've made some quick tests in a buffer associated to @file.cocoa5@.
Adding a *prefix* (comprising letters and/or d... -
00:40 CoCoA-5 Bug #446: intersection fails with zero ideal
- Should there be a separate issue about putting some proper "extreme case" tests for all ideal operations in the stand...
-
00:36 CoCoA-5 Bug #446: intersection fails with zero ideal
- @radical@ seems happy so long as there is at least one non-zero generator.
*However*, @radical(ideal(one(R)))@ gives... -
15:53 CoCoA-5 Bug #446: intersection fails with zero ideal
- Bad news: the problem occurs somewhere inside Max's code :-(
The problem is that @EmbedPolyList@ tries to create ... -
11:46 CoCoA-5 Bug #446: intersection fails with zero ideal
- Same problem with @radical(J)@.
-
11:40 CoCoA-5 Bug #446 (Closed): intersection fails with zero ideal
- The following input wrongly produces an error...
-
15:34 CoCoA-5 Bug #443: lambda keyword
- Here is an example taken from @NotBuiltin.cpkg5@
Current form:... -
10:36 CoCoA-5 Bug #443: lambda keyword
- Other suggestions for the keyword: *@func...EndFunc@*, *@AnonFn...EndAnonFn@*,
*@AnonFunc...EndAnonFunc@*
My firs... -
12:13 CoCoA-5 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- The problem was reported by Elisa Businelli (and can be reproduced on her computer).
-
12:12 CoCoA-5 Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- In side emacs using @send-file@ or @send-region@ issues a CoCoA command using @Source@ and @SourceRegion@ commands se...
-
12:02 CoCoA-5 Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc
- The following input produces a @std::bad_alloc@ exception on Microsoft Windows 7 Ultimate (Service Pack 1) 2009
<pre...
19 Feb 2014
-
21:53 CoCoA-5 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- I think the problem may be in the definition of @cocoa5-beg-block-re@.
I presume the @-re@ suffix means "regular exp... -
21:48 CoCoA-5 Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- The emacs UI sometimes gets indentation wrong inside a @file.cocoa5@.
The specific case I observed was when the pr... -
21:37 CoCoA-5 Bug #444 (Closed): Not keyword/operator
- The @Not@ operator behaves differently from C4.
In C4 you could write @If Not 1 IsIn I Then ...@
In C5 this is ... -
21:34 CoCoA-5 Feature #347 (Closed): C5 cannot compute derivative of a ratfn
- This has been in feedback for 9 months without any problems, so closing.
-
21:31 CoCoA-5 Bug #443 (Closed): lambda keyword
- I've just resuscitated the eigenvector code.
Having @lambda@ as a keyword is a nuisance, _e.g._ it cannot be used ... -
21:20 CoCoALib Feature #442 (New): Eigenvectors
- Clean up impl of @eigenvectors@ and translate it into C++.
Ideally it should perhaps use algebraic extensions? -
11:32 CoCoA-5 Support #439: CoCoA website: download pages and installing instructions
- Tony should be here in a couple of weeks; maybe we could ask him to help improve the design of the website (by giving...
18 Feb 2014
-
17:17 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- Thanks Christof for trying the hacked code. I'm both surprised and relieved that there was no significant improvemen...
-
16:11 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- I tried the change. It is really hard to tell if there is a difference. It seems to be slightly faster on some exampl...
14 Feb 2014
-
10:14 CoCoA-5 Feature #352: Should SourceRegion echo the "region"?
- > I did write the code for emacs so that the sourced lines are printed (commented out), but, of course, this is not s...
13 Feb 2014
-
12:02 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- Christof could you make some further tests after modifying slightly the OpenMP version of the @OrdvArith@ code I sent...
12 Feb 2014
-
16:30 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- My non-authorative solution is...
-
12:07 CoCoA-5 Feature #352: Should SourceRegion echo the "region"?
- John Abbott wrote:
> I can see what the students of the upcoming Computer Algebra course say about "send region" not ... -
11:56 CoCoA-5 Feature #352 (In Progress): Should SourceRegion echo the "region"?
- I can see what the students of the upcoming Computer Algebra course say about "send region" not copying the region se...
-
12:00 CoCoA-5 Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings
- The emacs key sequence @C-c C-e@ should automatically insert the correct @End...@ keyword to close a syntactical cons...
11 Feb 2014
-
20:10 CoCoALib Feature #440: Port RealRoots to C++
- Make the code prefer "binary rationals" as much as possible; exploit this fact when evaluating the polynomial. In an...
-
20:04 CoCoALib Feature #440 (New): Port RealRoots to C++
- Port the @RealRoots@ code to C++ so that it is accessible to CoCoALib users!
I hope that a well-written port might...
10 Feb 2014
-
12:04 CoCoA-5 Support #439: CoCoA website: download pages and installing instructions
- I wonder if a friendly industrial designer would be able to help. :-)
09 Feb 2014
-
16:52 CoCoALib Support #438: Polynomial multiplication (product of RingElem)
- I am sorry for having raised a non-issue.
Regarding NumTerms: is it a data field of the polynomial or is it compu... -
16:08 CoCoALib Support #438: Polynomial multiplication (product of RingElem)
- Winfried Bruns wrote:
> I think it is a question that needs careful testing before any changes should be done. As ob... -
12:48 CoCoALib Support #438: Polynomial multiplication (product of RingElem)
- I think it is a question that needs careful testing before any changes should be done. As observed by John and mentio...
-
09:50 CoCoALib Support #438 (In Progress): Polynomial multiplication (product of RingElem)
- In @SparsePolyRing.C -- myMul@ there is this code...
08 Feb 2014
-
20:10 CoCoA-5 Support #439 (Closed): CoCoA website: download pages and installing instructions
- [20140208] Tony reported that he found the website quite difficult to navigate, and felt it did not explain clearly p...
-
15:40 CoCoALib Support #438: Polynomial multiplication (product of RingElem)
- [from an email sent to Bruns] I do recall that there are complications for inserting the terms in the correct order; ...
-
15:33 CoCoALib Support #438 (In Progress): Polynomial multiplication (product of RingElem)
- Bruns asks whether @f*g@ and @g*f@ take the same time or whether one way round is better than the other. He mentions...
-
15:18 CoCoALib Feature #437 (In Progress): MemPool: order free blocks?
- Computation speed in C5 often degrades over time; I think this may be due to loss of data locality in the RAM. In an...
-
15:14 CoCoALib Feature #142 (In Progress): Improve threadsafety
-
10:43 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- This function seems to be optimal.
What is the authorative function for the converse transformation ZZ[X] --> QQ[X] ?
07 Feb 2014
-
00:47 CoCoALib Feature #436 (New): Improve UPoly eval at BigRat for binary rational
- It should be possible to make @EvalUPoly@ faster for binary rationals (_i.e._ whose denom is a power of 2)
-
00:44 CoCoA-5 Slug #435 (New): Assignment to protected variable
- The interpreter should check whether LHS is protected *before* trying to evaluate RHS (because evaluation RHS might b...
-
00:41 CoCoA-5 Bug #94: Default reason for protected variables
- I'd like to resolve & close this issue in the near future!
06 Feb 2014
-
14:46 CoCoA-5 Slug #434: Emacs UI: very slow when input file is big (with long lines)
- I created a 3Mbyte file with short lines (100 copies of the code in @radical.cpkg@). There was some slow down, but q...
-
14:22 CoCoA-5 Slug #434: Emacs UI: very slow when input file is big (with long lines)
- The problems of serious slow down occur only when the cursor is towards the end of the file -- response is normal whe...
-
13:49 CoCoA-5 Slug #434 (New): Emacs UI: very slow when input file is big (with long lines)
- Emacs has become very slow as I edit a large (3Mbyte) @file.cocoa5@.
The file contains several quite long lines (u... -
10:23 CoCoA-5 Bug #433: EMACS UI: trouble with sending a long line
- My idea to use @SourceRegion@ has a (minor?) technical problem: it implies that the buffer be saved to the associated...
05 Feb 2014
-
00:06 CoCoA-5 Bug #433 (Closed): EMACS UI: trouble with sending a long line
- Sending a long line to CoCoA-5 inside Emacs does not work: CoCoA gets stuck and simply prints out lots of ^G. I beli...
-
23:55 CoCoA-5 Feature #381: Emacs User Interface: Easier binding for sending a line to cocoa-5
- Could you also define some other key sequences? For instance,
C-c RET
C-c C-RET
The advantage of defining both ...
04 Feb 2014
-
19:42 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- On our compute server with 20 threads the performance was about 5% better with the OpenMP adaptation for some medium ...
03 Feb 2014
-
18:53 CoCoALib Feature #222: Printing polynomials - spaces between terms
- I notice in @SparsePolyRing.C:551@ that there is a check via @IsPrintAtom@. The documentation says _true iff arg doe...
-
18:24 CoCoALib Feature #222: Printing polynomials - spaces between terms
- In note 6 I unwittingly overlooked some (important?) points: for instance I did not consider compound coefficients in...
-
17:37 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- CVS
time nmzIntegrate -E CondEffPlurSymm-100
nmzIntegrate -E CondEffPlurSymm-100 218,09s user 0,69s system 385% cpu... -
12:43 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- OK, I'll try to rewrite it -- maybe even this afternoon while invigilating!
-
11:47 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- I did some tests and the timings were exactly the same. So I checked again. I only have a version which still include...
-
11:07 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- Yes, I still have it and will give it a try.
-
15:27 CoCoALib Design #432: Semantics of IsPrintedWithMinus
- Anna rightly asked how should TwinFloats be handled.
Right now, I'm undecided. I'm quite sure that any polynomial... -
12:49 CoCoALib Design #432 (In Progress): Semantics of IsPrintedWithMinus
- If we follow the suggestion in note 6 of issue #222 then we need to define @IsPrintedWithMinus@ only for numerical ri...
01 Feb 2014
-
10:20 CoCoALib Feature #222: Printing polynomials - spaces between terms
- I would prefer a symmetric appearance, either no space around the + sign or a blank on bothsides.
But it is a mat...
31 Jan 2014
-
20:32 CoCoALib Feature #222: Printing polynomials - spaces between terms
- This issue has been sitting idle for a year. We should decide, and then implement!
*Addendum:* JAA thinks that a le... -
20:29 CoCoALib Design #432 (In Progress): Semantics of IsPrintedWithMinus
- We should clarify what the semantics of @IsPrintedWithMinus@ are.
I suggest that if @IsPrintedWithMinus(x)@ gives ... -
20:25 CoCoALib Design #429 (In Progress): factorization: public data fields, or mem fns allowing the fields to be updated.
- John and Anna talked about Christof's proposal, and both believe it is a good idea! :-)
John will look at existing... -
20:17 CoCoALib Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE
- @Christof, I have unclosed the issue because Anna proposed to redo your long computation using impl *(B)*, just to co...
-
19:47 CoCoALib Feature #431 (Resolved): NewPolyRing_DMPI has no constructor with a predefined PPM
- Wow I wrote something that actually works?? :-)
Bonus extra 10% for this issue :-)
Now I'll have to write a test,... -
11:16 CoCoALib Feature #431 (In Progress): NewPolyRing_DMPI has no constructor with a predefined PPM
- John implemented it. Works for me.
30 Jan 2014
-
18:59 CoCoALib Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE
- Several test were successful. I consider it as done.
-
18:57 Bug #238 (Feedback): Cleaner CVS?
-
11:04 Bug #238: Cleaner CVS?
- It looks much cleaner now.
I'm not sure how the .cvsignore works but maybe you want to add the Makefile_dependencies... -
17:18 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- Anna pointed out that is already a fn *@ClearDenom@* which does almost what is wanted: it multiplies the polynomial b...
-
17:02 CoCoALib Feature #209 (Feedback): ReadExpr: input polynomials in CoCoALib
- Official part of CoCoALib now.
Even with example in
example/ex-PolyInput2.C
(still missing: documentation)
-
14:10 CoCoALib Feature #209 (Resolved): ReadExpr: input polynomials in CoCoALib
- Example program is done and working fully:
reads any kind expression with + - * / ^ ()
They key was John Abbott's... -
16:36 CoCoALib Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
- We would like to do ...
-
16:30 CoCoALib Feature #407: RingElem ctor from mpz_t (from Bruns)
- To summarize, there are now the following constructors:...
-
14:01 CoCoALib Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- For me it now works fine. With and without libnormaliz.
-
10:38 CoCoALib Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- without --with-libnormaliz it still tries to check and get
nm: '': No such file -
09:39 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- Just an idea... it might be nice if the matrix created contained only non-negative entries (_e.g._ it is easy to have...
29 Jan 2014
-
19:50 CoCoALib Design #254 (Resolved): How to return a Hilbert Series in CoCoALib
- Now all essentially set.
One thing to decide: factorization of denom is now arbitrary:
Normaliz uses a compact form... -
19:17 CoCoA-5 Feature #270: Distribution for linux
- I suggest generalizing this issue to simplifying the _make a distribution_ process on any platform. There should be ...
-
17:51 Bug #238: Cleaner CVS?
- JAA has removed all @Makefile_dependencies@ from CVS.
-
16:41 Bug #238: Cleaner CVS?
- In the CoCoA5 dir also @C5Makefile@ is created (together with C5.pro) and depend on @autoconf.mk@.
So I suggest to re... -
17:48 CoCoALib Feature #218 (In Progress): CoCoALib normaliz interface
- added HilbertSeries and multiplicity functions
-
16:47 CoCoALib Feature #430 (Feedback): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- Resolved the outstanding problem -- the flag had to passed correctly to @qmake@.
JAA has fixed the @make-c5makefile.... -
16:08 CoCoALib Feature #430 (In Progress): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- JAA has written a new script, and added a suitable call to @configure@.
Christof confirms that it works for him, exc... -
15:38 CoCoALib Feature #430 (Closed): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- Right now libnormaliz can be included to CoCoALib only without using OpenMP. We did it this way to have an easier sta...
-
14:48 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- Regarding the conversion @QQ[x]@ to @ZZ[x]@ clearing denominators, JAA thinks the following is a reasonable approach:...
-
13:55 CoCoALib Feature #407 (Feedback): RingElem ctor from mpz_t (from Bruns)
- After discussing with Anna and Christof...
* We *reject the idea of using a "marker"* because it is cumbersome, also... -
12:27 CoCoALib Bug #149: Makefile dependencies
- JAA believes the correct approach is to have separate dependencies for *internal* dependencies and for *external* dep...
-
11:59 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- And it also works with gradings:...
28 Jan 2014
-
18:18 CoCoALib Design #429 (Closed): factorization: public data fields, or mem fns allowing the fields to be updated.
- Christof was surprised to see that the data fields in a @factorization@ are publicly modifiable. He suggested having...
-
18:04 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- Anna Maria Bigatti wrote:
> Constructors:
> (RingElem num, factorization<RingElem> DenFactors) -- general
> (vecto... -
18:04 CoCoALib Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE
- Somewhat unexpectedly Christof's tests shows that approach *(C)* is as fast as approach *(B)* but it is also simpler ...
-
18:00 CoCoALib Bug #428 (Feedback): PPMonoidOv is not threadsafe
- Christof's tests have all gone well.
The change was simple (but a bit tedious/ugly).
I've even checked-in the code ... -
12:12 CoCoALib Bug #428: PPMonoidOv is not threadsafe
- JAA has modified the code to use local buffers if @CoCoA_THREADSAFE_HACK@ has a positive value.
*15:00* Christof say... -
12:09 CoCoALib Bug #428 (Closed): PPMonoidOv is not threadsafe
- @PPMonoidOv@ uses a "global" buffer much as @OrdvArith@ did.
This is not threadsafe -- Christof has observed crashes... -
17:55 CoCoALib Support #195 (Feedback): OrdvArith documentation needs rewriting
- The doc should now be essentially complete.
Also greatly improved doc for @PPOrdering@.
-
15:06 CoCoALib Support #195: OrdvArith documentation needs rewriting
- A first version of the doc has been written! It even includes comments about thread-safety!
-
17:48 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Since the HilbertSeries is now availabe in CoCoALib, I also added it to NmzComputation. Example:...
-
14:59 CoCoALib Support #234 (Feedback): Update/Improve geobucket documentation
-
14:48 CoCoALib Feature #233 (Feedback): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Final decision is for ConvertTo<BigInt> and ConvertTo<BigRat>
-
14:45 Support #425 (In Progress): Osnabrueck 2014-01
-
14:40 CoCoA-5 Bug #418 (Feedback): What does interreduce do?
- All done
-
13:59 CoCoALib Design #427: Error names and error messages (current design)
- Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
Suggestion: rename them *Need... -
10:39 CoCoALib Design #427 (In Progress): Error names and error messages (current design)
- As a sub-issue of re-designing errors here we note the suggested names.
-
12:13 CoCoALib Feature #248 (Feedback): IsDivisible for RingElem with nice interface
- All done (I think)
27 Jan 2014
-
16:11 CoCoALib Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message
- The *@ConvertTo@* fn is used extensively in the interface between the C5 interpreter and the CoCoALin fns which actua...
-
15:26 Support #425: Osnabrueck 2014-01
- Bruns mentioned sometime ago (1 year?) that CoCoALib-0.9951 was about 20% faster than a later version.
*20140127:* C... -
14:49 Support #425 (Closed): Osnabrueck 2014-01
- Here's what we hope to do during the week here.
-
14:36 CoCoA-5 Feature #367: implement LF/DF for an ideal
- LF(ideal) done.
(cvs tomorrow)
-
13:53 CoCoA-5 Feature #367 (In Progress): implement LF/DF for an ideal
- code for LF of a polynomial implemented in october 2012
-
12:13 CoCoALib Feature #209 (In Progress): ReadExpr: input polynomials in CoCoALib
- Anna, Christof & John propose the following for an initial impl:
* input polys are terminated by newline
* the whole ...
25 Jan 2014
-
22:10 CoCoALib Bug #413 (In Progress): OrdvArith: use of a single buffer is NOT THREADSAFE
- We should discuss this in Osnabrueck next week.
*(A)* the solution using local buffers in every fn that needs one is...
24 Jan 2014
-
20:47 CoCoA-5 Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5
- In issue #313 I have posted an impl of @ElimOrdMat@ which creates a matrix for elimination orderings. This fn lets o...
-
20:40 CoCoALib Feature #313: Elim(vector<long>) as PPOrderingCtor
- Anna told me she has an impl (of exactly what I don't recall).
Let's make it available -- I'd like it to be availabl... -
20:30 CoCoA-5 Bug #418 (Resolved): What does interreduce do?
- It would be good to get this issue closed ASAP; it is not especially urgent, but I'd like it fixed before the Alg Com...
-
13:54 CoCoA-5 Design #424: Emacs UI: Name of emacs init file
- If we were to use *@.emacs.d/@* then we could put *@cocoa.el@* there; this could make installation easier?
I doubt... -
12:16 CoCoA-5 Design #424: Emacs UI: Name of emacs init file
- Anna is unconvinced by the idea of forcing the user to accept a whole directory. Perhaps we could use the alternativ...
-
11:51 CoCoA-5 Bug #423 (Feedback): Emacs UI: semicolon does not work in emacs-24.3
- Using lastest CVS, a quick test passed fine on my machine --> changing state to "feedback".
Also available in: Atom