Re: [Axiom-developer] Comments are wanted on for i in 1..1repeatprint(sin(i) :: Complex Float)

[William Sit]

Here print.out (sorry)

William

Starts dribbling to print.out (2005/1/14, 0:24:8).
(1) -> )comp print.spad
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/apply.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/c-doc.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/c-util.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/profile.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/category.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/compiler.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/define.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/functor.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/info.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/iterator.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/modemap.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/nruncomp.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/package.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/htcheck.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/xruncomp.
   Compiling AXIOM source code from file 
      j:/OpenAxiom/axiom/mnt/windows/lib/print.spad using old system 
      compiler.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/parsing.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/bootlex.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/def.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/fnewmeta.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/metalex.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/metameta.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/parse.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/postpar.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/postprop.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/preparse.
   PRINTEST abbreviates package Printest 
   processing macro definition EXPR ==> Expression 
   processing macro definition INT ==> Integer 
   processing macro definition CF ==> Complex Float 
------------------------------------------------------------------------
   initializing NRLIB PRINTEST for Printest 
   compiling into NRLIB PRINTEST 
   importing Expression Integer
   compiling exported foo : PositiveInteger -> Void
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FPS.o for category 
      FloatingPointSystem 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RNS.o for category 
      RealNumberSystem 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FIELD.o for category 
      Field 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EUCDOM.o for category
      EuclideanDomain 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PID.o for category 
      PrincipalIdealDomain 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/GCDDOM.o for category
      GcdDomain 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/INTDOM.o for category
      IntegralDomain 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/COMRING.o for 
      category CommutativeRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RING.o for category 
      Ring 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RNG.o for category 
      Rng 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ABELGRP.o for 
      category AbelianGroup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/CABMON.o for category
      CancellationAbelianMonoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ABELMON.o for 
      category AbelianMonoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ABELSG.o for category
      AbelianSemiGroup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/SETCAT.o for category
      SetCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/BASTYPE.o for 
      category BasicType 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/KOERCE.o for category
      CoercibleTo 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/SGROUP.o for category
      SemiGroup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/MONOID.o for category
      Monoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/LMODULE.o for 
      category LeftModule 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/BMODULE.o for 
      category BiModule 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RMODULE.o for 
      category RightModule 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ALGEBRA.o for 
      category Algebra 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/MODULE.o for category
      Module 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ENTIRER.o for 
      category EntireRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/UFD.o for category 
      UniqueFactorizationDomain 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/DIVRING.o for 
      category DivisionRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ORDRING.o for 
      category OrderedRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/OAGROUP.o for 
      category OrderedAbelianGroup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/OCAMON.o for category
      OrderedCancellationAbelianMonoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/OAMON.o for category 
      OrderedAbelianMonoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/OASGP.o for category 
      OrderedAbelianSemiGroup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ORDSET.o for category
      OrderedSet 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/REAL.o for category 
      RealConstant 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/KONVERT.o for 
      category ConvertibleTo 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RETRACT.o for 
      category RetractableTo 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RADCAT.o for category
      RadicalCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PATMAB.o for category
      PatternMatchable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/CHARZ.o for category 
      CharacteristicZero 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/COMPCAT.o for 
      category ComplexCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/MONOGEN.o for 
      category MonogenicAlgebra 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FRAMALG.o for 
      category FramedAlgebra 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FINRALG.o for 
      category FiniteRankAlgebra 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/CHARNZ.o for category
      CharacteristicNonZero 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FRETRCT.o for 
      category FullyRetractableTo 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FLINEXP.o for 
      category FullyLinearlyExplicitRingOver 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/LINEXP.o for category
      LinearlyExplicitRingOver 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FINITE.o for category
      Finite 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/DIFEXT.o for category
      DifferentialExtension 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/DIFRING.o for 
      category DifferentialRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PDRING.o for category
      PartialDifferentialRing 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FFIELDC.o for 
      category FiniteFieldCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FPC.o for category 
      FieldOfPrimeCharacteristic 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/STEP.o for category 
      StepThrough 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FEVALAB.o for 
      category FullyEvalableOver 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ELTAB.o for category 
      Eltable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EVALAB.o for category
      Evalable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IEVALAB.o for 
      category InnerEvalable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FPATMAB.o for 
      category FullyPatternMatchable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/TYPE.o for category 
      Type 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PATAB.o for category 
      Patternable 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/TRANFUN.o for 
      category TranscendentalFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/TRIGCAT.o for 
      category TrigonometricFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ATRIG.o for category 
      ArcTrigonometricFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/HYPCAT.o for category
      HyperbolicFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/AHYP.o for category 
      ArcHyperbolicFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ELEMFUN.o for 
      category ElementaryFunctionCategory 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PFECAT.o for category
      PolynomialFactorizationExplicit 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/OM.o for category 
      OpenMath 
Time: 0.98 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Printest| REDEFINED

;;;     ***       |Printest| REDEFINED
Time: 0 SEC.


   Cumulative Statistics for Constructor Printest
      Time: 0.98 seconds
 
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/bc-matrix.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/bc-misc.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/bc-solve.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/bc-util.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/ht-util.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/htsetvar.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/ht-root.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-con.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-data.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/showimp.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-op1.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-op2.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-search.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-util.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/topics.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-prof.
   Loading J:/OpenAxiom/axiom/mnt/windows/autoload/br-saturn.
   finalizing NRLIB PRINTEST 
   Processing Printest for Browser database:
--->-->Printest((foo ((Void) (PositiveInteger)))): Not documented!!!!
--->-->Printest(constructor): Not documented!!!!
--->-->Printest(): Missing Description
Compiling j:/OpenAxiom/axiom/mnt/windows/lib/PRINTEST.NRLIB/code.lsp.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, (Debug 
quality ignored)
Finished compiling j:/OpenAxiom/axiom/mnt/windows/lib/PRINTEST.NRLIB/code.lsp.
------------------------------------------------------------------------
   Printest is now explicitly exposed in frame initial 
   Printest will be automatically loaded when needed from 
      /OpenAxiom/axiom/mnt/windows/lib/printest.NRLIB/code

(1) -> foo(3)
   Loading /OpenAxiom/axiom/mnt/windows/lib/printest.NRLIB/code for 
      package Printest 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FLOAT.o for domain 
      Float 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FPS-.o for domain 
      FloatingPointSystem& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RNS-.o for domain 
      RealNumberSystem& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/COMPLEX.o for domain 
      Complex 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EXPR.o for domain 
      Expression 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/KERNEL.o for domain 
      Kernel 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/BOP.o for domain 
      BasicOperator 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/SCACHE.o for package 
      SortedCache 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/VOID.o for domain 
      Void 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/UPMP.o for package 
      UnivariatePolynomialMultiplicationPackage 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/AN.o for domain 
      AlgebraicNumber 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IAN.o for domain 
      InnerAlgebraicNumber 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ACFS-.o for domain 
      AlgebraicallyClosedFunctionSpace& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FS-.o for domain 
      FunctionSpace& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/COMMONOP.o for 
      package CommonOperators 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/KDAGG-.o for domain 
      KeyedDictionary& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/DIAGG-.o for domain 
      Dictionary& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/BOP1.o for package 
      BasicOperatorFunctions1 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ACF-.o for domain 
      AlgebraicallyClosedField& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/COMPCAT-.o for domain
      ComplexCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/DFLOAT.o for domain 
      DoubleFloat 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/POLYCATQ.o for 
      package PolynomialCategoryQuotientFunctions 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EF.o for package 
      ElementaryFunction 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/MONOGEN-.o for domain
      MonogenicAlgebra& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FRAMALG-.o for domain
      FramedAlgebra& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FINRALG-.o for domain
      FiniteRankAlgebra& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FEVALAB-.o for domain
      FullyEvalableOver& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FRETRCT-.o for domain
      FullyRetractableTo& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/TRANFUN-.o for domain
      TranscendentalFunctionCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/BASTYPE-.o for domain
      BasicType& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/RADCAT-.o for domain 
      RadicalCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IROOT.o for package 
      IntegerRoots 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ES-.o for domain 
      ExpressionSpace& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/UNISEG.o for domain 
      UniversalSegment 
   0.8414709848 0789650665
   0.9092974268 256816954
   0.1411200080 598672221 + 0.3388131789 0172013563 E -20 %i
                                                                   Type: Void
(2) -> print(sin(1)::Complex Float)
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EVALAB-.o for domain 
      Evalable& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IEVALAB-.o for domain
      InnerEvalable& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/TRIGCAT-.o for domain
      TrigonometricFunctionCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ATRIG-.o for domain 
      ArcTrigonometricFunctionCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/HYPCAT-.o for domain 
      HyperbolicFunctionCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ELEMFUN-.o for domain
      ElementaryFunctionCategory& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/AF.o for package 
      AlgebraicFunction 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/POLYROOT.o for 
      package PolynomialRoots 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/INTFACT.o for package
      IntegerFactorizationPackage 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FACTFUNC.o for 
      package FactoredFunctions 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FSAGG-.o for domain 
      FiniteSetAggregate& 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FLASORT.o for package
      FiniteLinearAggregateSort 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IDPOAMS.o for domain 
      IndexedDirectProductOrderedAbelianMonoidSup 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/IDPOAM.o for domain 
      IndexedDirectProductOrderedAbelianMonoid 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PGCD.o for package 
      PolynomialGcdPackage 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/NUMERIC.o for package
      Numeric 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/EXPR2.o for package 
      ExpressionFunctions2 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/FS2.o for package 
      FunctionSpaceFunctions2 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/POLYLIFT.o for 
      package PolynomialCategoryLifting 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/ES2.o for package 
      ExpressionSpaceFunctions2 
   Loading j:/OpenAxiom/axiom/mnt/windows/algebra/PRINT.o for package 
      PrintPackage 
   0.8414709848 0789650665
                                                                   Type: Void
(3) -> for i in 1..1 repeat print(sin(i)::Complex Float)
   sin(1)
                                                                   Type: Void
(4) -> for i in 1..1 repeat print(a:=sin(i)::Complex Float)
   0.8414709848 0789650665
                                                                   Type: Void
(5) -> )spool