[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [Gcl-devel] Possible GCL 2.6.7 for axiom
From: |
Camm Maguire |
Subject: |
[Axiom-developer] Re: [Gcl-devel] Possible GCL 2.6.7 for axiom |
Date: |
27 Apr 2005 09:30:41 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
"Mike Thomas" <address@hidden> writes:
> Hi Camm.
>
> | Hi Tim! Great conference!
>
> Sometimes living a long way from "the action" can be frustrating.
>
Needless to say, your spirit was there in force!
> | Here's my take home understanding of the remaining issues re:
> | gcl/axiom:
> |
> | 1) reenable run-process
> | 2) display images in tcl/tk
> | 3) tcl/tk working in windows
> | 4) Windows socket workaround for sman/hypertex/graphics
>
> I am aware of the following two items as well:
>
> 5) Something has recently broken the path handling on Windows so the CVS
> HEAD GCL build lisp compilation fails.
>
OK, more detail here would be helpful, but this is not relevant to
2.6.x for axiom, no?
> 6) On Windows (at least) GCL 2.6.6 Axiom (not 2.6.5) has a problem with
> equation system solutions:
> ===========================================
> (1) -> solve([3*x**3+y+1,y**2-4],[x,y])
> Loading C:/Program Files/axiom/mnt/windows/algebra/UPMP.o for
> package UnivariatePolynomialMultiplicationPackage
>
> >> System error:
> The function SYSTEM::DEBUGGER is undefined.
>
> protected-symbol-warn called with (NIL)
> (1) -> solve([3*x**3+y+1,y**2-4],[x,y])
>
> >> System error:
> Arg or result mismatch in call to |devaluateList|
>
> protected-symbol-warn called with (NIL)
>
This is quite odd. I cannot reproduce on my 2.6.6 axiom 20050201:
=============================================================================
address@hidden:/fix/t1/camm/scalapack-1.7$ axiom
GCL (GNU Common Lisp) 2.6.6 CLtL1 Jan 18 2005 00:13:38
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
AXIOM Computer Algebra System
Version: Axiom 3.0 Beta (February 2005)
Timestamp: Monday February 21, 2005 at 20:01:15
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
Re-reading compress.daase Re-reading interp.daase
Re-reading operation.daase
Re-reading category.daase
Re-reading browse.daase
(1) ->
(1) -> solve([3*x**3+y+1,y**2-4],[x,y])
Loading /usr/lib/axiom-20050201/algebra/UPMP.o for package
UnivariatePolynomialMultiplicationPackage
Loading /usr/lib/axiom-20050201/algebra/LIST2.o for package
ListFunctions2
Loading /usr/lib/axiom-20050201/algebra/FLAGG2.o for package
FiniteLinearAggregateFunctions2
Loading /usr/lib/axiom-20050201/algebra/OVAR.o for domain
OrderedVariableList
Loading /usr/lib/axiom-20050201/algebra/SYSSOLP.o for package
SystemSolvePackage
Loading /usr/lib/axiom-20050201/algebra/DMP.o for domain
DistributedMultivariatePolynomial
Loading /usr/lib/axiom-20050201/algebra/DIRPROD.o for domain
DirectProduct
Loading /usr/lib/axiom-20050201/algebra/VECTCAT-.o for domain
VectorCategory&
Loading /usr/lib/axiom-20050201/algebra/PUSHVAR.o for package
PushVariables
Loading /usr/lib/axiom-20050201/algebra/GDMP.o for domain
GeneralDistributedMultivariatePolynomial
Loading /usr/lib/axiom-20050201/algebra/DIRPCAT-.o for domain
DirectProductCategory&
Loading /usr/lib/axiom-20050201/algebra/GROEBSOL.o for package
GroebnerSolve
Loading /usr/lib/axiom-20050201/algebra/POLTOPOL.o for package
PolToPol
Loading /usr/lib/axiom-20050201/algebra/HDP.o for domain
HomogeneousDirectProduct
Loading /usr/lib/axiom-20050201/algebra/HDMP.o for domain
HomogeneousDistributedMultivariatePolynomial
Loading /usr/lib/axiom-20050201/algebra/GB.o for package
GroebnerPackage
Loading /usr/lib/axiom-20050201/algebra/GBINTERN.o for package
GroebnerInternalPackage
Loading /usr/lib/axiom-20050201/algebra/PGCD.o for package
PolynomialGcdPackage
Loading /usr/lib/axiom-20050201/algebra/LGROBP.o for package
LinGroebnerPackage
Loading /usr/lib/axiom-20050201/algebra/MATRIX.o for domain Matrix
Loading /usr/lib/axiom-20050201/algebra/IIARRAY2.o for domain
InnerIndexedTwoDimensionalArray
Loading /usr/lib/axiom-20050201/algebra/MATCAT-.o for domain
MatrixCategory&
Loading /usr/lib/axiom-20050201/algebra/ARR2CAT-.o for domain
TwoDimensionalArrayCategory&
Loading /usr/lib/axiom-20050201/algebra/GENMFACT.o for package
GeneralizedMultivariateFactorize
Loading /usr/lib/axiom-20050201/algebra/MPCPF.o for package
MPolyCatPolyFactorizer
Loading /usr/lib/axiom-20050201/algebra/MULTFACT.o for package
MultivariateFactorize
Loading /usr/lib/axiom-20050201/algebra/COMPLEX.o for domain Complex
Loading /usr/lib/axiom-20050201/algebra/INNMFACT.o for package
InnerMultFact
Loading /usr/lib/axiom-20050201/algebra/MULTSQFR.o for package
MultivariateSquareFree
Loading /usr/lib/axiom-20050201/algebra/UPSQFREE.o for package
UnivariatePolynomialSquareFree
Loading /usr/lib/axiom-20050201/algebra/HEUGCD.o for package HeuGcd
Loading /usr/lib/axiom-20050201/algebra/INMODGCD.o for package
InnerModularGcd
Loading /usr/lib/axiom-20050201/algebra/EMR.o for domain
EuclideanModularRing
Loading /usr/lib/axiom-20050201/algebra/MDDFACT.o for package
ModularDistinctDegreeFactorizer
Loading /usr/lib/axiom-20050201/algebra/MODRING.o for domain
ModularRing
Loading /usr/lib/axiom-20050201/algebra/GENUFACT.o for package
GenUFactorize
Loading /usr/lib/axiom-20050201/algebra/GALFACT.o for package
GaloisGroupFactorizer
Loading /usr/lib/axiom-20050201/algebra/FSAGG-.o for domain
FiniteSetAggregate&
Loading /usr/lib/axiom-20050201/algebra/FLASORT.o for package
FiniteLinearAggregateSort
Loading /usr/lib/axiom-20050201/algebra/DIAGG-.o for domain
Dictionary&
Loading /usr/lib/axiom-20050201/algebra/DIOPS-.o for domain
DictionaryOperations&
Loading /usr/lib/axiom-20050201/algebra/SETAGG-.o for domain
SetAggregate&
Loading /usr/lib/axiom-20050201/algebra/BGAGG-.o for domain
BagAggregate&
Loading /usr/lib/axiom-20050201/algebra/GALPOLYU.o for package
GaloisGroupPolynomialUtilities
Loading /usr/lib/axiom-20050201/algebra/BRILL.o for package
BrillhartTests
Loading /usr/lib/axiom-20050201/algebra/FLOAT.o for domain Float
Loading /usr/lib/axiom-20050201/algebra/GALFACTU.o for package
GaloisGroupFactorizationUtilities
Loading /usr/lib/axiom-20050201/algebra/FPS-.o for domain
FloatingPointSystem&
Loading /usr/lib/axiom-20050201/algebra/RNS-.o for domain
RealNumberSystem&
Loading /usr/lib/axiom-20050201/algebra/TRANFUN-.o for domain
TranscendentalFunctionCategory&
Loading /usr/lib/axiom-20050201/algebra/ELEMFUN-.o for domain
ElementaryFunctionCategory&
Loading /usr/lib/axiom-20050201/algebra/HYPCAT-.o for domain
HyperbolicFunctionCategory&
Loading /usr/lib/axiom-20050201/algebra/ATRIG-.o for domain
ArcTrigonometricFunctionCategory&
Loading /usr/lib/axiom-20050201/algebra/TRIGCAT-.o for domain
TrigonometricFunctionCategory&
Loading /usr/lib/axiom-20050201/algebra/RADCAT-.o for domain
RadicalCategory&
Loading /usr/lib/axiom-20050201/algebra/GALUTIL.o for package
GaloisGroupUtilities
Loading /usr/lib/axiom-20050201/algebra/IROOT.o for package
IntegerRoots
Loading /usr/lib/axiom-20050201/algebra/UPDECOMP.o for package
UnivariatePolynomialDecompositionPackage
Loading /usr/lib/axiom-20050201/algebra/UPDIVP.o for package
UnivariatePolynomialDivisionPackage
Loading /usr/lib/axiom-20050201/algebra/UNISEG.o for domain
UniversalSegment
Loading /usr/lib/axiom-20050201/algebra/BASTYPE-.o for domain
BasicType&
Loading /usr/lib/axiom-20050201/algebra/GHENSEL.o for package
GeneralHenselPackage
Loading /usr/lib/axiom-20050201/algebra/VOID.o for domain Void
Loading /usr/lib/axiom-20050201/algebra/INTFACT.o for package
IntegerFactorizationPackage
Loading /usr/lib/axiom-20050201/algebra/IDPOAMS.o for domain
IndexedDirectProductOrderedAbelianMonoidSup
Loading /usr/lib/axiom-20050201/algebra/IDPOAM.o for domain
IndexedDirectProductOrderedAbelianMonoid
Loading /usr/lib/axiom-20050201/algebra/POLY2.o for package
PolynomialFunctions2
Loading /usr/lib/axiom-20050201/algebra/POLYLIFT.o for package
PolynomialCategoryLifting
Loading /usr/lib/axiom-20050201/algebra/MPRFF.o for package
MPolyCatRationalFunctionFactorizer
Loading /usr/lib/axiom-20050201/algebra/EQ.o for domain Equation
2 3
(1) [[x= - 1,y= 2],[x - x + 1= 0,y= 2],[3x - 1= 0,y= - 2]]
Type: List List Equation Fraction Polynomial Integer
(2) -> )quit
Please enter y or yes if you really want to leave the interactive
environment and return to the operating system:
y
=============================================================================
Didn't we move, at your request if I recall, si::debug to si::debugger
in cvs head (only)? I've forgotten the details. Perhaps you could
get some kind of backtrace to see from where your build is referring
to si::debugger. Tim likely knows how to do this, or, as I've been
recently told, such details can be found in the fourth volume of the
axiom book, targettetd at developers, which can be found somewhere in
tla.
Take care,
> ===========================================
>
> Cheers
>
> Mike Thomas.
>
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Axiom-developer] Axiom does not configure/build on OpenBSD, Henry Lenzi, 2005/04/02
- Re: [Axiom-developer] Axiom does not configure/build on OpenBSD, root, 2005/04/03
- Message not available
- [Axiom-developer] Doyen project, root, 2005/04/03
- Re: [Axiom-developer] Doyen project, Mark Murray, 2005/04/03
- Re: [Axiom-developer] Doyen project, Bill Page, 2005/04/04
- [Axiom-developer] Possible GCL 2.6.7 for axiom, Camm Maguire, 2005/04/26
- Re: [Axiom-developer] conference, Martin Rubey, 2005/04/26
- [Axiom-developer] RE: [Gcl-devel] Possible GCL 2.6.7 for axiom, Mike Thomas, 2005/04/27
- [Axiom-developer] Re: [Gcl-devel] Possible GCL 2.6.7 for axiom,
Camm Maguire <=
- [Axiom-developer] RE: [Gcl-devel] Possible GCL 2.6.7 for axiom, Mike Thomas, 2005/04/28
- [Axiom-developer] Re: [Gcl-devel] Possible GCL 2.6.7 for axiom, Camm Maguire, 2005/04/28
- [Axiom-developer] RE: [Gcl-devel] Possible GCL 2.6.7 for axiom, Mike Thomas, 2005/04/28
- [Axiom-developer] Website edit notifications, Camm Maguire, 2005/04/26