[Axiom-developer] Re: Bug#407109: axiom: loops forever while )read'ing expression

[Camm Maguire]

forwarded 407109 address@hidden
thanks

Tim -- don't know whether to laugh or cry about this one -- should
axiom be able to handle expressions of this size?

Take care,

Alexei Sheplyakov <address@hidden> writes:

> Package: axiom
> Version: 20050901-9
> Severity: normal
> 
> Hello!
> 
> I've tried to )read quite a simple expression (available at
> http://theor.jinr.ru/~varg/web/misc/dia_142.input.gz). However
> axiom was unable to do this. Here is a transcript of my attempt:
> 
>        )read dia_142.input
> 
>        [snipped the expression itself]
> 
>    Loading /usr/lib/axiom-20050901/algebra/UPMP.o for package
>       UnivariatePolynomialMultiplicationPackage
>    Loading /usr/lib/axiom-20050901/algebra/PGCD.o for package
>       PolynomialGcdPackage
>    Loading /usr/lib/axiom-20050901/algebra/FRAC2.o for package
>       FractionFunctions2
>    Loading /usr/lib/axiom-20050901/algebra/QFCAT2.o for package
>       QuotientFieldCategoryFunctions2
>    Loading /usr/lib/axiom-20050901/algebra/POLY2.o for package
>       PolynomialFunctions2
>    Loading /usr/lib/axiom-20050901/algebra/POLYLIFT.o for package
>       PolynomialCategoryLifting
>    Loading /usr/lib/axiom-20050901/algebra/EXPR.o for domain Expression
> 
>    Loading /usr/lib/axiom-20050901/algebra/KERNEL.o for domain Kernel
>    Loading /usr/lib/axiom-20050901/algebra/SCACHE.o for package
>       SortedCache
>    Loading /usr/lib/axiom-20050901/algebra/VOID.o for domain Void
>    Loading /usr/lib/axiom-20050901/algebra/AN.o for domain
>       AlgebraicNumber
>    Loading /usr/lib/axiom-20050901/algebra/IAN.o for domain
>       InnerAlgebraicNumber
>    Loading /usr/lib/axiom-20050901/algebra/ACFS-.o for domain
>       AlgebraicallyClosedFunctionSpace&
>    Loading /usr/lib/axiom-20050901/algebra/FS-.o for domain
>       FunctionSpace&
>    Loading /usr/lib/axiom-20050901/algebra/COMMONOP.o for package
>       CommonOperators
>    Loading /usr/lib/axiom-20050901/algebra/KDAGG-.o for domain
>       KeyedDictionary&
>    Loading /usr/lib/axiom-20050901/algebra/DIAGG-.o for domain
>       Dictionary&
>    Loading /usr/lib/axiom-20050901/algebra/BOP1.o for package
>       BasicOperatorFunctions1
>    Loading /usr/lib/axiom-20050901/algebra/ACF-.o for domain
>       AlgebraicallyClosedField&
>    Loading /usr/lib/axiom-20050901/algebra/ES-.o for domain
>       ExpressionSpace&
>    Loading /usr/lib/axiom-20050901/algebra/POLYCATQ.o for package
>       PolynomialCategoryQuotientFunctions
>    Loading /usr/lib/axiom-20050901/algebra/IDPOAMS.o for domain
>       IndexedDirectProductOrderedAbelianMonoidSup
>    Loading /usr/lib/axiom-20050901/algebra/IDPOAM.o for domain
>       IndexedDirectProductOrderedAbelianMonoid
>    Loading /usr/lib/axiom-20050901/algebra/EVALAB-.o for domain
>       Evalable&
>    Loading /usr/lib/axiom-20050901/algebra/FRETRCT-.o for domain
>       FullyRetractableTo&
>    Loading /usr/lib/axiom-20050901/algebra/FSAGG-.o for domain
>       FiniteSetAggregate&
>    Loading /usr/lib/axiom-20050901/algebra/FLASORT.o for package
>       FiniteLinearAggregateSort
>    Loading /usr/lib/axiom-20050901/algebra/FACUTIL.o for package
>       FactoringUtilities
>    Loading /usr/lib/axiom-20050901/algebra/HEUGCD.o for package HeuGcd
>    Loading /usr/lib/axiom-20050901/algebra/INMODGCD.o for package
>       InnerModularGcd
>    Loading /usr/lib/axiom-20050901/algebra/EMR.o for domain
>       EuclideanModularRing
>    Loading /usr/lib/axiom-20050901/algebra/MDDFACT.o for package
>       ModularDistinctDegreeFactorizer
>    Loading /usr/lib/axiom-20050901/algebra/MODRING.o for domain
>       ModularRing
>    Loading /usr/lib/axiom-20050901/algebra/EF.o for package
>       ElementaryFunction
>    Loading /usr/lib/axiom-20050901/algebra/BASTYPE-.o for domain
>       BasicType&
>    Loading /usr/lib/axiom-20050901/algebra/TRANFUN-.o for domain
>       TranscendentalFunctionCategory&
>    Loading /usr/lib/axiom-20050901/algebra/IEVALAB-.o for domain
>       InnerEvalable&
>    Loading /usr/lib/axiom-20050901/algebra/TRIGCAT-.o for domain
>       TrigonometricFunctionCategory&
>    Loading /usr/lib/axiom-20050901/algebra/ATRIG-.o for domain
>       ArcTrigonometricFunctionCategory&
>    Loading /usr/lib/axiom-20050901/algebra/HYPCAT-.o for domain
>       HyperbolicFunctionCategory&
>    Loading /usr/lib/axiom-20050901/algebra/ELEMFUN-.o for domain
>       ElementaryFunctionCategory&
>    Loading /usr/lib/axiom-20050901/algebra/RADCAT-.o for domain
>       RadicalCategory&
>    Loading /usr/lib/axiom-20050901/algebra/AF.o for package
>       AlgebraicFunction
>    Loading /usr/lib/axiom-20050901/algebra/POLYROOT.o for package
>       PolynomialRoots
>    Loading /usr/lib/axiom-20050901/algebra/INTFACT.o for package
>       IntegerFactorizationPackage
>    Loading /usr/lib/axiom-20050901/algebra/IROOT.o for package
>       IntegerRoots
>    Loading /usr/lib/axiom-20050901/algebra/FACTFUNC.o for package
>       FactoredFunctions
>    Loading /usr/lib/axiom-20050901/algebra/MLIFT.o for package
>       MultivariateLifting
>    Loading /usr/lib/axiom-20050901/algebra/NPCOEF.o for package NPCoef
>    Loading /usr/lib/axiom-20050901/algebra/VECTCAT-.o for domain
>       VectorCategory&
>    Loading /usr/lib/axiom-20050901/algebra/GENEEZ.o for package
>       GenExEuclid
>    Loading /usr/lib/axiom-20050901/algebra/VECTOR2.o for package
>       VectorFunctions2
>    Loading /usr/lib/axiom-20050901/algebra/FLAGG2.o for package
>       FiniteLinearAggregateFunctions2
>    Loading /usr/lib/axiom-20050901/algebra/COMBINAT.o for package
>       IntegerCombinatoricFunctions
>    Loading /usr/lib/axiom-20050901/algebra/HACKPI.o for domain Pi
>    Loading /usr/lib/axiom-20050901/algebra/PICOERCE.o for package
>       PiCoercions
> 
>       [after more than 17 hours I got bored and killed axiom]
> 
> I've also tried to )read the same expression using x86 version of Axiom
> (in x86 chroot and on real x86 box). The same error occures.
> 
> Best regards,
>  Alexei
> 
> -- System Information:
> Debian Release: 4.0
>   APT prefers testing
>   APT policy: (500, 'testing')
> Architecture: amd64 (x86_64)
> Shell:  /bin/sh linked to /bin/dash
> Kernel: Linux 2.6.17.11-grsec-em64t-p4
> Locale: LANG=ru_RU.UTF-8, LC_CTYPE=ru_RU.UTF-8 (charmap=UTF-8)
> 
> Versions of packages axiom depends on:
> ii  axiom-databases           20050901-9     A general purpose computer 
> algebra
> ii  libc6                     2.3.6.ds1-8    GNU C Library: Shared libraries
> ii  libgmp3c2                 2:4.2.1+dfsg-4 Multiprecision arithmetic library
> ii  libice6                   1:1.0.1-2      X11 Inter-Client Exchange library
> ii  libncurses5               5.5-5          Shared libraries for terminal 
> hand
> ii  libreadline5              5.2-2          GNU readline and history 
> libraries
> ii  libsm6                    1:1.0.1-3      X11 Session Management library
> ii  libx11-6                  2:1.0.3-4      X11 client-side library
> ii  libxaw7                   1:1.0.2-4      X11 Athena Widget library
> ii  libxext6                  1:1.0.1-2      X11 miscellaneous extension 
> librar
> ii  libxmu6                   1:1.0.2-2      X11 miscellaneous utility library
> ii  libxt6                    1:1.0.2-2      X11 toolkit intrinsics library
> 
> Versions of packages axiom recommends:
> ii  axiom-doc                     20050901-9 A general purpose computer 
> algebra
> ii  axiom-graphics                20050901-9 A general purpose computer 
> algebra
> ii  axiom-hypertex                20050901-9 A general purpose computer 
> algebra
> pn  axiom-source                  <none>     (no description available)
> 
> -- no debconf information
> 
> -- 
> All science is either physics or stamp collecting.
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah