Activity
From 21 Feb 2017 to 22 Mar 2017
20 Mar 2017
-
14:26 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I like the idea of @<key>verbose</key>@. KISS!
-
- I noticed in the new CoCoA-5 manual entry for ApproxPointsNBM there are some incomplete phrases about what various ve...
-
09:00 CoCoA-5 Feature #737 (In Progress): Elementary transcendental functions (sin, cos, tan, log, exp)
17 Mar 2017
-
- This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr...
-
- I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
-
- > In some ways the "eat up" version appeals to me more; though it might discourage casual use... (would that matter?)...
-
- I'm against this idea, because I think it might be badly misused.
I see you want to apply it to IsInRadical for a ... -
- If we do choose to introduce such a function, what should its name be?
-
- Introduce new function to split a poly into its homog parts.
What should the result be?
* @vector<RingElem>@ whe... -
- I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
... -
- The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina... -
- Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb...
-
- Here are some cases where behaviour is not ideal:...
-
- The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
-
- The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w...
-
- We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly.
-
- If we regard @ScalarProduct(A,B)@ as being equivalent to @sum([A[i]*B[i] | i in 1..len(A)])@ then @ScalarProduct@ sho...
14 Mar 2017
-
- John Abbott wrote:
> I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and o... -
- I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and of @IsInRadical(f_d,I)@...
-
- Currently @IsInRadical@ is defined in a CPKG5, but may soon be translated to CoCoALib.
The case of a homog poly in... -
- A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/... -
- Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C...
13 Mar 2017
-
- There is a (minor?) problem on my old MacBook: typing Ctrl-A when the cursor is at the right-end of the line does som...
-
- I think I have just been lucky (or was it Giovanni's good design?).
I have just edited @ReadLineProvider::doReadNext... -
- As Justin C Walker pointed out, the @readline@ command can accept a string arg which is printed as the prompt.
Cur... -
- Problem reported by Justin C Walker via email.
To exhibit problem: start CoCoA-5 (with readline) in a terminal; ty...
10 Mar 2017
-
- The tests are producing strange results: it seems that there is some mysterious problem with the threadsafe counter :...
-
- I now have a first impl of the "preprocessor definitions" header file.
One question which has just arisen is the f... -
- Despite the *urgent* status I have postponed this to the next version. After all it is principally a matter of effic...
09 Mar 2017
-
- I think this is far too difficult for this release.
I suggest moving it to next.
-
- For an *urgent* issue, this is making very slow progress :-(
Perhaps someone (who??) should produce a test file wh... -
- This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis...
-
- More examples: these all have support a 3-subset of supp((x+y+z)^3+x) and coeffs +1 or -1...
-
- Would it be a good idea to add a page with a few basic emacs commands to the CoCoA-5 online manual?
-
- There is an emacs function *@diff-buffer-with-file@*.
Another possibility is to run *@sum@* on the buffer contents...
08 Mar 2017
-
- Here are some more slow examples:...
-
- Here are some simple-looking ideals whose lex GBs cannot be computed (in reasonable time) by CoCoA-5.1.5:...
-
- See also the discussion in issue #996 about which bool3 flags can be (ought to be) copied, and which cannot.
-
- I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in CoCoALib.
Now that yo... -
- John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3... -
- After some consideration I think it is best to put all the CPP "flags" into a single header file, then any files whic...
-
- I've checked it in (not documented)....
-
- There is a certain irony in finding this problem just 5 minutes after Mario left for good...
Is the implementation... -
- The following input gives an error:...
07 Mar 2017
-
- Send the output to a file! (over 40Mbytes)
Biggest coeffs are from the 3rd last polynomial; but several others are... -
- I am putting this example here just not to lose it:...
06 Mar 2017
-
- John Abbott wrote:
> I like @IdealOfMinGens@.
> I do not much like @minimalize(I)@, so suggest making it obsolescen... -
- I like @IdealOfMinGens@.
I do not much like @minimalize(I)@, so suggest making it obsolescent.
Presumably @IdealO... -
- I have added @IdealOfGBasis(I)@ to cocoa-5.
It is like saying @ideal(GBasis(I))@ and @SetGBasisAsGens@ (not availabl... -
- Winfried Bruns wrote:
> Why not have a function for decomposing a polynomial into its homogeneous components? There ... -
- Here is the function.
I'm still uncertain whether this should be part of cocoalib or not.
Anyway it may be copied... -
17:50 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Why not have a function for decomposing a polynomial into its homogeneous components? There is one in NmzIntegrate.
-
- CoCoALib currently offers @deg@ (or equiv. @StdDeg@) and @wdeg@. These functions throw an exception if the ring has ...
-
- [2017-03-06] Bruns requested by email to have a function like *@LF@* which works with respect to the standard grading...
-
- John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3... -
- As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3@) from the original i...
-
- Now using @IdealOfGBasis@, so that the generators of the ideals are the different GBasis....
-
- To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix operators. It looks ...
-
- Most entries in the CoCoAManual include a succinct description of the syntax like the following...
-
- This seems a duplicate of #558, closed for CoCoA-5.1.0 Easter14.
Unless you mean to check also the output (then it... -
- Done (again, long time ago...). It is called by...
-
- @SetVerbosityLevel/VerbosityLevel@ allow to have verbosity.
Some functions now use them.
This should be reported in... -
- in log:
Revision 1.19 2012/05/25 13:07:23 abbott
Cleaned entry for "Try".
Revision 1.14 2012/03/09 17:00:2... -
- As far as I can tell, this has already been done... no idea by whom, or when.
-
- I suggest transforming the search string as follows:
* replace all TABs (and any other whitespace chars) by plain sp... -
- Some CoCoA online manual pages have titles containing spaces.
Searching for such a page with a search string contain... -
- *NOTE* I have just learned that if you press return while typing in the comment "subject" line, redmine then "finishe...
-
- Here is a list of the CoCoA CPP flags:
* *@CoCoA_ULONG2LONG@*
* *@CoCoA_THREADSAFE_HACK@*
* *@CoCoA_DEBUG@*
* *@C...
05 Mar 2017
-
- To me it seems that approach *(A)* is less convenient and more risky/annoying (since any problem is reported only aft...
-
- Recently Bruns reported a compilation problem (see #1015) which turned out to be a problem of missing CPP flags. A s...
-
- What is the best way to ensure that any important CPP flags are correctly set when using CoCoALib?
One approach is...
03 Mar 2017
-
- I have now added a similar check for ULONG2LONG. It's all a nasty hack, but seems to work.
Checked-in too. Now I...
02 Mar 2017
-
-
-
- JAA should also check the value of ULONG2LONG... perhaps need a template approach?
-
- now prints
* with verbosity >=10 (each call of recursive, CallOnRecursive)
. with verbosity >=20 (each call of Get... -
- Implemented (using @submat@).
Still have to write tests and doc.
-
- After personal discussion in Kassel: I agree.
-
- Currently there is no check for the arguments of @..@
Limit the input!
for example upper-lower < ???
-
- Still to do: non-homogenous input
-
- John Abbott wrote:
> What exactly does multiplicity do?
>
> I made the mistake of trying to compute @multiplicity... -
- Set 100 for first GBasis printouts
-
- John Abbott wrote:
> In the meantime, Anna plans to add the appropriate verbosity lines to @myDoGBasisElimFirst@.
... -
- Answer to previous question is that internally Anna uses a hack: she calls @myDoGBasisElimFirst@ rather than the gene...
-
- John Abbott wrote:
> I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
done.
Sho... -
- I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
* the name *@ReducedGBasis@* gives... -
-
- Changed interface (after personal discussion in Kassel):...
-
- It seems to me that this will be covered by the "braced constructor" for C++ vectors that appeared in C++11.
What ... -
-
- Write a new function to modify an ideal so that removes the current set of generators and substitutes it with the GBa...
-
- Implement @ReducedGBasis@ for @RingWeyl@ and other potential future non-commutative rings.
01 Mar 2017
-
- I have now added an automatic check for @CoCoA_THREADSAFE_HACK@.
If you compile the library with one setting and try... -
- The problem goes away if the flag *@-DCoCoA_THREADSAFE_HACK@* is added to the compilation line.
At the moment I do... -
- The problem continues to arise with the following simplified compilation command:...
-
- Here we have a minimal failing example:...
-
- The problem arises under the following conditions:
* CoCoALib is configured with @--threadsafe-hack@ and @--no-boost... -
- Winfried Bruns reported a SEGV problem by email.
The following code will exhibit it: @F@ is a poly with a single t... -
-
-
-
-
-
-
25 Feb 2017
-
11:11 CoCoALib Support #1013: GlobalManager: name of object in examples (and tests)
- > Would *@InitializeCoCoA@* be more comprehensible?
Perfect!
24 Feb 2017
-
- Another (mild?) incompatibility is that in CoCoA-5 @RowMat@ and @ColMat@ accept as input lists of INT and/or RAT.
In... -
- At the moment JAA thinks that giving an error is probably better.
Is there a situation where one might reasonably ... -
- In CoCoA-5 one can call @RowMat([])@ and @ColMat([])@ to produce a matrix 1x0 or 0x1.
In CoCoALib a similar call pro... -
- What should @RowMat@ and @ColMat@ do if given am empty list/vector as argument?
-
- What should these functions do if the matrix is 0-by-C or R-by-0?
Return a 0-by-1 or 1-by-0 matrix? -
- Another possibility: uglier, but possibly clearer?
* *@RowMatView@*
* *@ColMatView@*
The intention is that the r... -
- In just a couple of days I shall have to present CoCoALib and its examples.
Indeed, I shall probably concentrate on ... -
- At the moment all CoCoALib examples use the name *@CoCoAFoundations@* for the @GlobalManager@ object.
Is there a b...
22 Feb 2017
-
- I have added some hasty tutorials... no doubt it is clear that they have been hastily written.
21 Feb 2017
-
- There is less than a week to go to the mini-course. It would be nice to make some progress with the tutorials.
Also available in: Atom