Activity
From 14 Mar 2017 to 12 Apr 2017
10 Apr 2017
-
17:55 CoCoA-5 Feature #1044 (Closed): New function: SectionalMatrix, PrintSectionalMatrix
-
17:43 CoCoA-5 Feature #1017 (Rejected): New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
-
17:42 CoCoA-5 Feature #1017: New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
- Update: don't modify ideal, by make a new one with @IdealOfGBasis@
-
17:39 CoCoA-5 Feature #965 (Closed): New function: multigraded BettiNumbers
- All done some time ago (forgot to update this).
Now documented.
-
16:47 CoCoA-5 Feature #845 (Closed): Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
- All done, also tests.
-
15:50 CoCoA-5 Feature #1043 (Feedback): New function: IsCoprime
- All done (for power-products).
This function (for power-products!) was already available in CoCoALib, so I just mean... -
15:34 CoCoA-5 Feature #1043: New function: IsCoprime
- Presumably the fn should actually be defined for pairs of @RINGELEM@ from any @TrueGCDDomain@.
Maybe for polynomia... -
14:43 CoCoA-5 Feature #1043 (Closed): New function: IsCoprime
- Add @IsCoprime@ for power-products (as in CoCoALib)
-
11:43 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- I think this issue is relatively unimportant, hence the "low" priority.
I have put it on redmine just so that we do ... -
11:29 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- Here is a complete example:...
-
11:25 CoCoALib Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- The following loop is curiously slow:...
-
11:40 CoCoALib Support #1039: Rename iroot?
- There is also a fn called *@IsExactIroot(ans, N,r)@*. It returns a @bool@, and puts into @ans@ the truncated integer...
07 Apr 2017
-
22:24 CoCoA-5 Design #1041: Separators for elements of a list
- Here is an example involving a matrix:...
-
22:21 CoCoA-5 Design #1041: Separators for elements of a list
- I have put this in the section CoCoA-5 even though the solution involves (possibly) modifying CoCoALib,
because the ... -
22:19 CoCoA-5 Design #1041 (In Progress): Separators for elements of a list
- Currently elements of a "list" are printed with comma-space-space between successive elements.
The string defining... -
17:19 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- removed the empty lines, and checked in.
I like it! A lot more compact :-)
Have a look, what do you think?
-
16:51 CoCoA-5 Bug #697 (In Progress): Interpreter: Avoid outputting an empty line after each line of input
- There is a class called @OSTREAM@ in @Interpreter.H:274@.
Perhaps that class could contain a flag which says wheth... -
16:23 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- I'm very tempted just to remove this empty line in all cases.... after all I also remove them in the manual and in my...
-
15:56 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- Perhaps the interpreter needs to have a flag saying whether a newline should be printed before printing the prompt.
... -
15:28 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- The line printing the newline is this, in @LineProviders.H@:...
-
16:31 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- John Abbott wrote:
> Printing out the changes of coordinates is OK as a "temporary fix".
Well, depends on what We... -
11:43 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- Printing out the changes of coordinates is OK as a "temporary fix".
An equivalent function in CoCoALib should cert... -
10:19 CoCoA-5 Feature #883 (Feedback): gin: return/print a suitable change of variables
- Final decision is:
- two good changes of coordinates are printed when verbosity is set
- a simpler change of coordi... -
14:12 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- John Abbott wrote:
> It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
@<type>@ is used for... -
11:47 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
Better @types@ than @keywords@?
-
11:41 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- also added ...
-
11:24 CoCoA-5 Support #1023 (Resolved): CoCoAManual for verbosity: how to find which levels? how to find which functions?
-
11:20 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I refined my idea: now a function implementing verbosity should have these lines in its manual entry...
-
11:36 CoCoA-5 Feature #996: New function: IdealOfGBasis
- OK to put @IdealOfGBasis@ into @SparsePolyRing.C@ assuming you are convinced that that is the right place.
What ab... -
09:57 CoCoA-5 Feature #996 (Resolved): New function: IdealOfGBasis
-
09:56 CoCoA-5 Feature #996: New function: IdealOfGBasis
- John Abbott wrote:
> I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in Co... -
10:55 CoCoA-5 Support #1040 (Feedback): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- done, and checked in.
-
10:01 CoCoA-5 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- Write manual entry
-
10:13 CoCoA-5 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic
- All done
-
10:09 CoCoA-5 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- To do:
- call TwinFloat
- check documentation
- Now called ApproxPointsNBM/SOI: find better acronym
Laura, Claud... -
09:48 CoCoA-5 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda
06 Apr 2017
-
23:48 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- I have just checked in a new version which should use @use-region-p@ if that fn is defined, o/w it uses @region-activ...
-
14:10 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Well done! :-)
I have made a small change: call @use-region-p@ instead of @region-active-p@
If I understand corr... -
09:34 CoCoA-5 Feature #1038 (Feedback): Emacs: sent interrupt to CoCoA
- Done it!
I've been lucky and found @comint-interrupt-subjob@ quickly.
I had some problems in testing it (@load-file... -
18:04 CoCoALib Support #1039: Rename iroot?
- "better safe than sorry"
the easiest and safest is to give an error when the input is negative.
Even though "Floor"... -
15:20 CoCoALib Support #1039: Rename iroot?
- John Abbott wrote:
> Currently @iroot@ computes the *truncated* integer part of the real root.
> For instance @iroo... -
14:46 CoCoALib Support #1039 (In Progress): Rename iroot?
- Currently @iroot@ computes the *truncated* integer part of the real root.
For instance @iroot(-30,3)@ gives @-3@ as ... -
14:42 CoCoALib Support #1039 (Closed): Rename iroot?
- Some time ago we renamed @ILog2@ to @FloorLog2@, and some other similar functions.
There is still a function *@iro... -
06:01 CoCoALib Support #624: Wikipedia
- Here is the "wiki":https://www.everipedia.com/CoCoA/
05 Apr 2017
-
17:46 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> @C-c C-q@ for "hard quit" (or @QUIT@ in the emacs-cocoa menu).
there is already @C-c C-k@ "k... -
13:33 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Adding a new key-sequence should be quite easy; actually you probably need 2 new key-sequences (one for @C-c C-c@ eqi...
-
11:30 CoCoA-5 Feature #1038 (In Progress): Emacs: sent interrupt to CoCoA
- There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha... -
07:42 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer... -
14:08 CoCoALib Feature #1036: LogStream: stream for log output
- There is one aspect of the design which is not wholly satisfactory:
there is no safe way of sending logging output t...
04 Apr 2017
-
18:35 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- It would be nice.
It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer, b... -
17:53 CoCoA-5 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
- It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file.
-
17:04 CoCoALib Feature #1035 (In Progress): Improvement: how to sort QuotientBasis?
- First we should decide what the public interface is to be.
* One possibility is to have 2 fns *@QuotientBasis@* and ...
29 Mar 2017
-
18:25 CoCoALib Feature #931: GBasis verbose mode
- Current setting seems satisfactory.
Documented in cocoa-5.... not in CoCoALib.
Can we avoid this duplication of doc... -
18:21 CoCoALib Feature #961 (Closed): New function: ReducedGBasis
- In conclusion: all done for the commutative case.
To do for non-commutative case (new issue).
Closing this one. -
18:13 CoCoALib Support #953 (Closed): new file for old functions: obsolescent.C
-
18:09 CoCoALib Bug #971 (Closed): CheckForInterrupt does not work in the expected way
-
16:49 CoCoA-5 Bug #994 (Feedback): SEGV: Toric example from Kazuki Maeda
-
16:48 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- definitively a bug: "n" instead of "Indices[n]" in the preprocessing.
Obviously a very rare case. -
12:02 CoCoALib Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?
- Solved by issue #1036 (which is a duplicate of this issue, but I created it because a search for "LogStream" found no...
-
11:49 CoCoALib Feature #1036 (Feedback): LogStream: stream for log output
- Already implemented: very simple. Written doc.
The only thing missing is an example.
-
11:48 CoCoALib Feature #1036 (Closed): LogStream: stream for log output
- On which output stream should logging messages from CoCoALib be printed?
* @cout@ mixes logging messages with stan...
28 Mar 2017
-
22:32 CoCoALib Feature #206: Matrix equation solving: LinKer
- Anna Maria Bigatti wrote:
> Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
Modified cou... -
13:57 CoCoALib Feature #206: Matrix equation solving: LinKer
- Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
-
17:11 CoCoALib Feature #313: Elim(vector<long>) as PPOrderingCtor
- Should we postpone this issue to the next version?
-
16:56 CoCoALib Slug #1009: coefficients for MinPoly e Frobenius
- Postpone to next version?
-
13:43 CoCoALib Feature #1035 (Closed): Improvement: how to sort QuotientBasis?
- QuotientBasis returns a list of power-products ordered by increasing lex (independently of the ordering in the ring)....
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!
-
13:23 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- 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
-
16:18 CoCoA-5 Design #998 (Feedback): Emacs UI: sending empty input from cocoa5 buffer
- This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr...
-
16:12 CoCoA-5 Bug #1002 (Feedback): Emacs UI: cocoa5-send-line skips too many chars
- I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
-
15:48 CoCoALib Feature #1033 (In Progress): Split poly into homog parts
- > In some ways the "eat up" version appeals to me more; though it might discourage casual use... (would that matter?)...
-
15:16 CoCoALib Feature #1033: Split poly into homog parts
- I'm against this idea, because I think it might be badly misused.
I see you want to apply it to IsInRadical for a ... -
13:50 CoCoALib Feature #1033: Split poly into homog parts
- If we do choose to introduce such a function, what should its name be?
-
11:17 CoCoALib Feature #1033 (Closed): Split poly into homog parts
- Introduce new function to split a poly into its homog parts.
What should the result be?
* @vector<RingElem>@ whe... -
14:15 CoCoA-5 Bug #1029 (In Progress): Readline: does not recognize interrupts
- I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
... -
13:19 CoCoA-5 Support #1034 (New): Improve error message when args to (infix operator) IsIn have incompatible types
- The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina... -
11:13 CoCoA-5 Bug #1032: IsInRadical: fragile code
- Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb...
-
11:11 CoCoA-5 Bug #1032: IsInRadical: fragile code
- Here are some cases where behaviour is not ideal:...
-
11:07 CoCoA-5 Bug #1032 (Closed): IsInRadical: fragile code
- The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
-
11:03 CoCoA-5 Support #1031: ScalarProduct: exact defn and manual page
- The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w...
-
11:00 CoCoA-5 Support #1031 (New): ScalarProduct: exact defn and manual page
- We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly.
-
10:55 CoCoA-5 Feature #633: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM
- 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
-
14:18 CoCoALib Feature #1030: IsInRadical: case of homog ideal
- John Abbott wrote:
> I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and o... -
14:00 CoCoALib Feature #1030 (In Progress): IsInRadical: case of homog ideal
- 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)@...
-
13:54 CoCoALib Feature #1030 (Closed): IsInRadical: case of homog ideal
- Currently @IsInRadical@ is defined in a CPKG5, but may soon be translated to CoCoALib.
The case of a homog poly in... -
11:34 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/... -
11:32 CoCoA-5 Bug #1029 (Closed): Readline: does not recognize interrupts
- Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C...
Also available in: Atom