Re: RFS: open-axiom
28.08.2011 19:00, David Bremner пишет:
> I'm not sure if open-axiom uses this feature (and I notice sbcl itself
> also has broken #! lines in it's fasl files. In your case, I suspect the
> upstream build process is putting the wrong path into the #!
> lines. interpsys isn't installed by debian sbcl and it isn't included in
> the open-axiom source package.
interpsys is a main tool to build OpenAxiom,
it is not requred to run OA. One can think of it
as of libtool or similar.
Fasl-files are not used as scripts, but as modules (example below)
I tried to change shebangs (keeping #!, of cause) - any little change
confuses SBCL core. I wiil investigate more, though.
AFAIK, fasl-files "is binary compatible only with
the exact SBCL version it was generated with"
(http://www.sbcl.org/manual/FASL-Format.html).
Not sure whether they are arch-independent.
(AO includes SBCL core, so SBCL itself is not required to run AO.
And there is no problem to upgrade system SBCL :-)
So, I guess I have to resolve two issues:
1. SBCL shebangs (I don't like it actually)
2. Location of HyperTex data (maybe symlink for a while).
============== Example of module usage ==========
OpenAxiom: The Open Scientific Computation Platform
Version: OpenAxiom 1.5.0-2011-07-07
Built on Sunday August 28, 2011 at 02:20:26
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave OpenAxiom and return to shell.
-----------------------------------------------------------------------------
(1) -> )set messages autoload on
(1) -> factor(x^3-x+2)
Loading /usr/lib/open-axiom/algebra/UPMP.fasl for package
UnivariatePolynomialMultiplicationPackage
Loading /usr/lib/open-axiom/algebra/PAIR.fasl for domain Pair
Loading /usr/lib/open-axiom/algebra/MULTFACT.fasl for package
MultivariateFactorize
Loading /usr/lib/open-axiom/algebra/COMPLEX.fasl for domain Complex
Loading /usr/lib/open-axiom/algebra/INNMFACT.fasl for package
InnerMultFact
Loading /usr/lib/open-axiom/algebra/OAGROUP-.fasl for domain
OrderedAbelianGroup&
Loading /usr/lib/open-axiom/algebra/OAMON-.fasl for domain
OrderedAbelianMonoid&
Loading /usr/lib/open-axiom/algebra/MULTSQFR.fasl for package
MultivariateSquareFree
Loading /usr/lib/open-axiom/algebra/UPSQFREE.fasl for package
UnivariatePolynomialSquareFree
Loading /usr/lib/open-axiom/algebra/HEUGCD.fasl for package HeuGcd
Loading /usr/lib/open-axiom/algebra/INMODGCD.fasl for package
InnerModularGcd
Loading /usr/lib/open-axiom/algebra/EMR.fasl for domain
EuclideanModularRing
Loading /usr/lib/open-axiom/algebra/MDDFACT.fasl for package
ModularDistinctDegreeFactorizer
Loading /usr/lib/open-axiom/algebra/MODRING.fasl for domain
ModularRing
Loading /usr/lib/open-axiom/algebra/ORDTYPE-.fasl for domain
OrderedType&
Loading /usr/lib/open-axiom/algebra/BASTYPE-.fasl for domain
BasicType&
Loading /usr/lib/open-axiom/algebra/DIFFSPC-.fasl for domain
DifferentialSpace&
Loading /usr/lib/open-axiom/algebra/DIFFDOM-.fasl for domain
DifferentialDomain&
Loading /usr/lib/open-axiom/algebra/PGCD.fasl for package
PolynomialGcdPackage
Loading /usr/lib/open-axiom/algebra/DSEXT-.fasl for domain
DifferentialSpaceExtension&
Loading /usr/lib/open-axiom/algebra/FRETRCT-.fasl for domain
FullyRetractableTo&
Loading /usr/lib/open-axiom/algebra/PDSPC-.fasl for domain
PartialDifferentialSpace&
Loading /usr/lib/open-axiom/algebra/EVALAB-.fasl for domain
Evalable&
Loading /usr/lib/open-axiom/algebra/PDDOM-.fasl for domain
PartialDifferentialDomain&
Loading /usr/lib/open-axiom/algebra/GENUFACT.fasl for package
GenUFactorize
Loading /usr/lib/open-axiom/algebra/GALFACT.fasl for package
GaloisGroupFactorizer
Loading /usr/lib/open-axiom/algebra/FSAGG-.fasl for domain
FiniteSetAggregate&
Loading /usr/lib/open-axiom/algebra/FLASORT.fasl for package
FiniteLinearAggregateSort
Loading /usr/lib/open-axiom/algebra/DIAGG-.fasl for domain
Dictionary&
Loading /usr/lib/open-axiom/algebra/DIOPS-.fasl for domain
DictionaryOperations&
Loading /usr/lib/open-axiom/algebra/SETAGG-.fasl for domain
SetAggregate&
Loading /usr/lib/open-axiom/algebra/BGAGG-.fasl for domain
BagAggregate&
Loading /usr/lib/open-axiom/algebra/BRILL.fasl for package
BrillhartTests
Loading /usr/lib/open-axiom/algebra/FLOAT.fasl for domain Float
Loading /usr/lib/open-axiom/algebra/GALFACTU.fasl for package
GaloisGroupFactorizationUtilities
Loading /usr/lib/open-axiom/algebra/FPS-.fasl for domain
FloatingPointSystem&
Loading /usr/lib/open-axiom/algebra/RNS-.fasl for domain
RealNumberSystem&
Loading /usr/lib/open-axiom/algebra/TRANFUN-.fasl for domain
TranscendentalFunctionCategory&
Loading /usr/lib/open-axiom/algebra/ELEMFUN-.fasl for domain
ElementaryFunctionCategory&
Loading /usr/lib/open-axiom/algebra/HYPCAT-.fasl for domain
HyperbolicFunctionCategory&
Loading /usr/lib/open-axiom/algebra/ATRIG-.fasl for domain
ArcTrigonometricFunctionCategory&
Loading /usr/lib/open-axiom/algebra/TRIGCAT-.fasl for domain
TrigonometricFunctionCategory&
Loading /usr/lib/open-axiom/algebra/RADCAT-.fasl for domain
RadicalCategory&
Loading /usr/lib/open-axiom/algebra/GALUTIL.fasl for package
GaloisGroupUtilities
Loading /usr/lib/open-axiom/algebra/IROOT.fasl for package
IntegerRoots
Loading /usr/lib/open-axiom/algebra/INTFACT.fasl for package
IntegerFactorizationPackage
3
(2) x - x + 2
Type: Factored Polynomial
Integer
Reply to: