Activity
From 29 Jun 2015 to 28 Jul 2015
27 Jul 2015
- 13:42 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 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 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 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 Design #683: Module index component in internal compressed representation
- I shall check in shortly; anyway here is the modified line:...
- 17:10 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 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 Bug #746: Problem with GBasis in tower of alg extns
- Here is a transcript of what happened......
- 13:13 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....
- 08:39 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:14 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 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 Support #739 (Closed): Move code in examples into namespace CoCoA
- JAA checked, fixed a few oversights. Otherwise seems fine now. Closing.
- 18:12 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:04 Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible
30 Jun 2015
- 16:20 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:07 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...
- 11:58 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... - 10:55 Support #618: Instructions for compiling libnormaliz
- Normaliz is making a new release and we will refine the configuration in September (in Aarhus)
- 10:53 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 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 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 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 Feature #689 (Feedback): Fault tolerant rational reconstruction: make bad factor publicly accessible
- Implemented. Documented. Not really tested :-(
Status --> feedback.
- 13:02 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