Re: [Gcl-devel] Possible GCL 2.6.7 for axiom

[Camm Maguire]

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