Activity
From 02 Jul 2015 to 31 Jul 2015
31 Jul 2015
-
17:25 CoCoALib Feature #758: configure: have option to say to look for external libs
- If we do adopt this idea, what syntax should be used?
@./configure --with-libgsl@
@./configure --with-libgsl=auto... -
- When would this idea really be useful?
It makes sense really only for libraries which would normally have a system... -
- Suggestion: let the user say @./configure --with-libgsl=search@
so that a script searches for the appropriate librar... -
- Default should be to look for readline automatically?
Anyway make it work properly, like the other extlibs!
-
- The script for finding libreadline (and lines in @configure@) are broken. Fix them!
-
- JAA has made the changes in the previous note, and all seems to work.
JAA has made a revised TGZ file: frobby_0.9.... -
- There are missing includes in @main.cpp@ and @randomDataGenerators.cpp@; you need to add:...
-
- @frobby@ fails to compile with g++ version 4.8.x
-
15:59 CoCoA-5 Bug #755 (Closed): Find out how to compile statically on linux
- many libraries are compiled dynamically. Not good for a released binary..
-
- JAA is having trouble understanding what the code does/should do. Can Giovanni help?
30 Jul 2015
-
-
- still missing: proper comments on webpage
-
- Postponing to next version. Increased priority (so I might actually do something).
-
- There is a C++ function called @isspace@ which returns true for space, TAB, and 4 others: '\n' (newline), '\v' (verti...
-
- JAA suggests the name @LeastDegPoly@
-
- Make it available in CoCoA-5?
manual?
What about SOI, SOITwinFloat, StableBBasis, VanishPoly, ...?
... find be... -
- Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex... -
- Extra task: extend defn of @FactorMultiplicity@ to @RingElem@ (belonging to a TrueGCDDomain).
-
- In issue #490 I decided to make the definition of @FactorMultiplicity@ wider: the "base" need not be prime (just an i...
-
-
- After discussing with Anna we accept my proposal in note 10: namely, this version allows the "base" to be non-prime (...
-
- Problem with boost: incompatibility of Qt4 and boost > 1.52.
Recompiled on Mac and on Linux with 1.52 --> OK
Update... -
-
- Tracking down the problem in @LinearSimplify@ (see issue #490) was impeded by the vagueness of the error message _Bad...
-
- The instructions should tell the user what to do with the file @cocoa-XYZ.tgz@.
Where should it be saved (or moved... -
- Postponing this issue as we shall be seeing Christof in September, and can talk to him about this issue then.
-
- Anna agrees with my assessment in comment 9. So closing this issue.
I have also added it to #242: possible tasks ... -
- BOOST appears to offer their own @make@ substitute. Consider using it.
29 Jul 2015
-
- Postponing to next version as this is really just code cleaning; the code works as it is, and the necessary cleaning ...
-
- This is just a cosmetic issue; so I have lowered the priorty, and postponed to next version of C5. I think it will i...
-
- When the function was called @valuation@ the restriction to prime "bases" was more or less obligatory. Now that it i...
-
- I implemented the restricted version of @FactorMultiplicity@ then Anna discovered that this broke @LinearSimplify@ --...
-
- What exactly does this issue propose? To add an entry to the online CoCoA-5 documentation? Is there a similar entry...
-
- The current solution (emacs sending a commented copy of the region) is not very pretty, but it does achieve more or l...
-
- Closing after 1 year in feedback (without any problems).
-
- This has been in feedback for a year; a quick check shows that it works for a filename containing a double-quote, and...
-
- I'd forgotten about this issue. It'll take time to understand what is the right thing to do -- no chance for 5.1.2, ...
-
-
- Introduction rewritten.
-
-
- Anna modified @Main.C:304@ so that (during package loading) package names are printed to a string (@PkgOut@); current...
-
-
-
-
- Is this really our problem? Morally speaking, I'd say not; in practice, it is.
I have added a note to the installat... -
- Activated the line making @ExtLibNames@ correct even when input contains only whitespace chars.
Works fine both with... -
- Implement @describe R@ using function @R->myOutputSelfLong(out)@
(needs some cleaning and refinements) -
- All the relevant code is done. I find it quite satisfactory (even though I'm not entirely convinced with the design ...
-
- Anna Maria Bigatti wrote:
> Maybe the function "RingWithID(n)" should return an error saying something like:
> "thi... -
-
28 Jul 2015
-
-
- I cannot reproduce this error. Postponing to next version.
-
- > We should also reconsider all the names since some returns *intrusive_ptr<type>* and others a (vector of) *type*.
... -
27 Jul 2015
-
- JAA corrected a bug in @ExtLibNames@ (in file @Banner.C@). The problem was trailing whitespace which caused the EOF ...
-
- It is "normal" to call the text version of CoCoA via the script @cocoa5@.
@C5@ is rather cryptic as a name for the... -
- I've hacked the code to make a call to @clearOutputWindow@, and it now seems to close much faster (after printing @fa...
-
- The GUI takes *ages* to print out the following:...
-
- The relevant source code seems to be at @Interpreter.C:3403@
Update: Mmmm, uncommented code looks scary :-(
-
- Anna points out that there is a workaround:...
-
- The pseudo-function @IsDefined@ has weird semantics.
Consider this example:... -
-
- *Answer:* package variables are accessed via the fully qualified name.
-
- JAA now thinks that current design is OK: namely that package variables are always accessible using their fully quali...
-
- There is apparently no need to "import" package variables; it suffices just to use the fully qualified name, for inst...
-
- The problem can be worked around by following this example:...
-
- JAA thinks the relevant code is @Parser.C:837@ -- probably @TT_IDENTIFIER@ should be changed into something else. JA...
-
- The relevant Emacs function is(should be?) @comint-get-old-input-default@. The documentation says the fn should inde...
-
- I have recently upgraded to Emacs 24.5.1. The problem is exhibited by doing @?package@ inside a CoCoA-5 buffer. This...
-
- I changed all the examples, and commented out the old @symbols@ with 2,3, and 4 arguments....
-
- I inserted JAA's code in CoCoALib (with a minimal extra check on missing ","s)
It is in symbol.H and C.
I renamed... -
- JAA has implemented @SymbolList@ which accepts a string of symbols, and returns the symbols as a @vector<symbol>@.
I... -
- 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
-
- I shall check in shortly; anyway here is the modified line:...
-
- The definition on line @GBEnv.C:48@ does not work with @SmallExponent_t@ being @unsigned long@. JAA is fixing now.
11 Jul 2015
-
- I wonder whether the default configuration for CoCoALib should be the threadsafe one (which incurs a run-time efficie...
09 Jul 2015
-
- Here is a transcript of what happened......
-
- I tried computing a GBasis in a ring with structure like @QQ(alpha)(beta)[x]@ where @alpha@ and @beta@ are algebraic....
-
- 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
-
- (brought at 100% after 2 years of being closed)
-
- If I understood well (I asked Viktor Levandovskyy ;-) the definition in #2 is actually of G-Algebras, and Ore-Algebra...
Also available in: Atom