Activity
From 29 Jun 2015 to 28 Jul 2015
28 Jul 2015
-
15:56 CoCoA-5 Feature #719 (Closed): Readline: consider creating a textual interpreter with readline
-
15:45 CoCoA-5 Bug #650: CoCoA-5 test (SourceAnna); problem in HilbertPoly
- I cannot reproduce this error. Postponing to next version.
-
15:35 CoCoA-5 Feature #317 (Feedback): BuiltInFunctions: evalArgAsLong
- > We should also reconsider all the names since some returns *intrusive_ptr<type>* and others a (vector of) *type*.
... -
14:32 CoCoA-5 Support #706 (Closed): meaningful error for IDEAL <= IDEAL
27 Jul 2015
-
19:45 CoCoA-5 Bug #745 (Resolved): Readline: avoid printing out READLINE twice
- JAA corrected a bug in @ExtLibNames@ (in file @Banner.C@). The problem was trailing whitespace which caused the EOF ...
-
19:25 CoCoA-5 Design #527: GUI: better name for the graphical interface?
- It is "normal" to call the text version of CoCoA via the script @cocoa5@.
@C5@ is rather cryptic as a name for the... -
19:11 CoCoA-5 Slug #741: C5 GUI: slow to close
- I've hacked the code to make a call to @clearOutputWindow@, and it now seems to close much faster (after printing @fa...
-
16:50 CoCoA-5 Slug #750 (Closed): C5 GUI: very slow when printing many short lines
- The GUI takes *ages* to print out the following:...
-
16:26 CoCoA-5 Bug #749: IsDefined does not follow reference to undefined optional param
- The relevant source code seems to be at @Interpreter.C:3403@
Update: Mmmm, uncommented code looks scary :-(
-
16:25 CoCoA-5 Bug #749: IsDefined does not follow reference to undefined optional param
- Anna points out that there is a workaround:...
-
16:20 CoCoA-5 Bug #749 (New): IsDefined does not follow reference to undefined optional param
- The pseudo-function @IsDefined@ has weird semantics.
Consider this example:... -
15:16 CoCoA-5 Design #668 (Closed): Remove keyword "weights"?
-
15:06 CoCoA-5 Bug #726 (Closed): TopLevel cannot "import" a package variable
- *Answer:* package variables are accessed via the fully qualified name.
-
14:46 CoCoA-5 Bug #726: TopLevel cannot "import" a package variable
- JAA now thinks that current design is OK: namely that package variables are always accessible using their fully quali...
-
13:47 CoCoA-5 Bug #726: TopLevel cannot "import" a package variable
- There is apparently no need to "import" package variables; it suffices just to use the fully qualified name, for inst...
-
12:16 CoCoA-5 Bug #726: TopLevel cannot "import" a package variable
- The problem can be worked around by following this example:...
-
11:55 CoCoA-5 Bug #726 (In Progress): TopLevel cannot "import" a package variable
- JAA thinks the relevant code is @Parser.C:837@ -- probably @TT_IDENTIFIER@ should be changed into something else. JA...
-
14:29 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
- The relevant Emacs function is(should be?) @comint-get-old-input-default@. The documentation says the fn should inde...
-
14:27 CoCoA-5 Bug #748 (Closed): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
- I have recently upgraded to Emacs 24.5.1. The problem is exhibited by doing @?package@ inside a CoCoA-5 buffer. This...
-
13:42 CoCoALib Feature #747: New function for making list of symbols (indeterminate names)
- I changed all the examples, and commented out the old @symbols@ with 2,3, and 4 arguments....
-
12:27 CoCoALib Feature #747: New function for making list of symbols (indeterminate names)
- I inserted JAA's code in CoCoALib (with a minimal extra check on missing ","s)
It is in symbol.H and C.
I renamed... -
12:14 CoCoALib Feature #747: New function for making list of symbols (indeterminate names)
- JAA has implemented @SymbolList@ which accepts a string of symbols, and returns the symbols as a @vector<symbol>@.
I... -
12:07 CoCoALib Feature #747 (Closed): New function for making list of symbols (indeterminate names)
- CoCoA-5 has the nice "shortcut syntax" @R ::= QQ[x,y,z]@ and @R ::= QQ[x[1..4]]@.
In CoCoALib this is often trickier...
25 Jul 2015
-
17:34 CoCoALib Design #683: Module index component in internal compressed representation
- I shall check in shortly; anyway here is the modified line:...
-
17:10 CoCoALib Design #683: Module index component in internal compressed representation
- The definition on line @GBEnv.C:48@ does not work with @SmallExponent_t@ being @unsigned long@. JAA is fixing now.
11 Jul 2015
-
22:31 CoCoALib Feature #142: Improve threadsafety
- I wonder whether the default configuration for CoCoALib should be the threadsafe one (which incurs a run-time efficie...
09 Jul 2015
-
13:14 CoCoALib Bug #746: Problem with GBasis in tower of alg extns
- Here is a transcript of what happened......
-
13:13 CoCoALib Bug #746 (New): Problem with GBasis in tower of alg extns
- I tried computing a GBasis in a ring with structure like @QQ(alpha)(beta)[x]@ where @alpha@ and @beta@ are algebraic....
-
13:07 CoCoA-5 Bug #745 (Closed): Readline: avoid printing out READLINE twice
- When C5 starts it prints out a list of ext libs being used; @READLINE@ appears twice.
-
08:39 CoCoALib Feature #728: Noncommutative algebra "of solvable type"
- No. In my understanding, John correctly described in #2 also Ore algebras (taking into account the note he later adde...
06 Jul 2015
-
07:43 CoCoA-5 Feature #336: Mat(Module) should give error
- (brought at 100% after 2 years of being closed)
-
07:14 CoCoALib Feature #728: Noncommutative algebra "of solvable type"
- If I understood well (I asked Viktor Levandovskyy ;-) the definition in #2 is actually of G-Algebras, and Ore-Algebra...
01 Jul 2015
-
18:40 CoCoALib Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn)
- No problems arisen in the last month (perhaps not much real testing either?)
Anyway, closing.
-
18:38 CoCoALib Support #739 (Closed): Move code in examples into namespace CoCoA
- JAA checked, fixed a few oversights. Otherwise seems fine now. Closing.
-
18:12 CoCoALib Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?
- After a brief testing period, the mechanism works (but the C5 interpreter needs to be improved so that a helpful mess...
-
18:11 CoCoA-5 Feature #744 (Closed): Handle interrupts more helpfully
- Currently the C5 interpreter catches @CoCoA::InterruptReceived@ as it should, but it gives no message to the user. A...
-
18:04 CoCoALib Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible
-
15:26 CoCoA-5 Slug #741: C5 GUI: slow to close
- In file @C5.C:1000@ there is a function @MainWindow::closeEvent@
JAA thinks that this is probably the function ne...
30 Jun 2015
-
16:20 CoCoALib Feature #743 (In Progress): Better errors: give supplementary info about the error
- When CoCoALib produces an error which is then caught by CoCoA-5, the only information from the error which is shown t...
-
15:57 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- Probably we can implement this:...
-
15:44 CoCoA-5 Slug #741: C5 GUI: slow to close
- Found this @C5.C:931@...
-
15:25 CoCoA-5 Slug #741 (In Progress): C5 GUI: slow to close
- Closing is practically instant if I do first a "Clear output window" and then close the C5 GUI. This suggests that c...
-
15:18 CoCoA-5 Slug #741: C5 GUI: slow to close
- The GUI is slow to close also after simply computing and printing @(x+y+z+1)^99@.
JAA think that this confirms tha... -
15:20 CoCoA-5 Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)
- syntax now aligned with Elisa Palezzato's code
-
15:10 CoCoA-5 Feature #359 (Closed): RingOf for list
- all done
-
14:47 CoCoA-5 Feature #359 (Feedback): RingOf for list
- OK for "RingsOf". Changing manual and making "RingSet" obsolscent
-
15:07 CoCoALib Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C)
- We use the name *@rk@* for the main function, but allow @Rank@ as a component of a compound name (to increase readabi...
-
14:19 CoCoA-5 Feature #622 (Closed): New function: RandomSubset
-
11:58 CoCoALib Feature #721: CheckForInterrupt: string arg to specify where it was called?
- Doesn't seem to be enough to give a suitable error message to cocoa5.
(interrupt code is in @TmpGReductor.C@ and tes... -
11:34 CoCoA-5 Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5
- No news on this topic for a long time: I guess that's good enough! ;-)
-
11:30 CoCoA-5 Feature #733 (In Progress): Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic
-
11:29 CoCoA-5 Feature #733: Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic
- Added the package in the distribution. Still missing: documentation, proper handling for big prime characteristic (a...
-
11:27 CoCoA-5 Feature #719 (Feedback): Readline: consider creating a textual interpreter with readline
- Tried: it works fine for me. Close?
-
10:55 CoCoALib Support #618: Instructions for compiling libnormaliz
- Normaliz is making a new release and we will refine the configuration in September (in Aarhus)
-
10:53 CoCoALib Support #739 (Feedback): Move code in examples into namespace CoCoA
- I believe it is all done: there was a problem using @program()@ instead of @CoCoA::program()@ with John compiler, it...
29 Jun 2015
-
17:23 CoCoALib Feature #658 (In Progress): Indets actually in a poly (or vector or matrix)
- Anna suggests the result could be a @DynamicBitset@; these appear to be like @vector<bool>@ but also support bitwise ...
-
16:44 CoCoALib Feature #91: Return type & name for "indets" of a PP
- JAA observes that we already have some vaguely similar functions:
* @radical(PP)@ same as @gcd(PP,product(all_indet... -
15:42 CoCoALib Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?
- On my 32-bit linux virtual machine I observe the following:
* with @int@ and @long@ all loops take about 3.0s (NB @i... -
15:36 CoCoALib Feature #689 (Feedback): Fault tolerant rational reconstruction: make bad factor publicly accessible
- Implemented. Documented. Not really tested :-(
Status --> feedback.
-
14:01 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity
- The implementations appear to allow the factor (whose multiplicity is to be computed) to be composite. If the factor...
-
07:52 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity
- I like it as it is:...
-
13:02 CoCoALib Slug #679 (Closed): power for PPs is too slow
- Apparently everything was already checked in... So I'm considering that ad hoc in-house testing has already happened...
Also available in: Atom