Hello, Yes of course, it's good!
Successfully built FriCAS 1.2.7 with configure(.ac) and Makefile.in patched
on Windows 7 with SBCL 1.3.0 and MinGW/MSYS.
But when I download FriCAS trunc with Subversion without pregerated files,
the build stops with :
(doing (FiniteAlgebraicExtensionField F) ((Category) (Field)))
Semantic Errors:
[1] cannot form Join of: ((ExtensionField t#1) (RetractableTo t#1)
(CATEGORY domain (SIGNATURE basis ((Vector $))) (SIGNATURE basis ((Vector
$) (PositiveInteger))) (SIGNATURE coordinates ((Vector t#1) $)) (SIGNATURE
coordinates ((Matrix t#1) (Vector $))) (SIGNATURE represents ($ (Vector
t#1))) (SIGNATURE minimalPolynomial ((SparseUnivariatePolynomial t#1) $))
(SIGNATURE definingPolynomial ((SparseUnivariatePolynomial t#1)))
(SIGNATURE extensionDegree ((PositiveInteger))) (SIGNATURE degree
((PositiveInteger) $)) (SIGNATURE norm (t#1 $)) (SIGNATURE trace (t#1 $))
(IF (has t#1 (Finite)) (PROGN (ATTRIBUTE FiniteFieldCategory) (SIGNATURE
minimalPolynomial ((SparseUnivariatePolynomial $) $ (PositiveInteger)))
(SIGNATURE norm ($ $ (PositiveInteger))) (SIGNATURE trace ($ $
(PositiveInteger))) (SIGNATURE createNormalElement ($)) (SIGNATURE
normalElement ($)) (SIGNATURE normal? ((Boolean) $)) (SIGNATURE generator
($)) (SIGNATURE linearAssociatedExp ($ $ (SparseUnivariatePolynomial t#1)))
(SIGNATURE linearAssociatedOrder ((SparseUnivariatePolynomial t#1) $))
(SIGNATURE linearAssociatedLog ((SparseUnivariatePolynomial t#1) $))
(SIGNATURE linearAssociatedLog ((Union (SparseUnivariatePolynomial t#1)
failed) $ $))) noBranch)))
Warnings:
[1] ExtensionField has no value
****** comp fails at level 2 with expression: ******
(|Join| | << | (|ExtensionField| |t#1|) | >> | (|RetractableTo| |t#1|)
(CATEGORY |domain| (SIGNATURE |basis| ((|Vector| $)))
(SIGNATURE |basis| ((|Vector| $) (|PositiveInteger|)))
(SIGNATURE |coordinates| ((|Vector| |t#1|) $))
(SIGNATURE |coordinates| ((|Matrix| |t#1|) (|Vector| $)))
(SIGNATURE |represents| ($ (|Vector| |t#1|)))
(SIGNATURE |minimalPolynomial|
((|SparseUnivariatePolynomial| |t#1|) $))
(SIGNATURE |definingPolynomial|
((|SparseUnivariatePolynomial| |t#1|)))
(SIGNATURE |extensionDegree| ((|PositiveInteger|)))
(SIGNATURE |degree| ((|PositiveInteger|) $))
(SIGNATURE |norm| (|t#1| $)) (SIGNATURE |trace| (|t#1| $))
(IF (|has| |t#1| (|Finite|))
(PROGN
(ATTRIBUTE |FiniteFieldCategory|)
(SIGNATURE |minimalPolynomial|
((|SparseUnivariatePolynomial| $) $ (|PositiveInteger|)))
(SIGNATURE |norm| ($ $ (|PositiveInteger|)))
(SIGNATURE |trace| ($ $ (|PositiveInteger|)))
(SIGNATURE |createNormalElement| ($))
(SIGNATURE |normalElement| ($))
(SIGNATURE |normal?| ((|Boolean|) $))
(SIGNATURE |generator| ($))
(SIGNATURE |linearAssociatedExp|
($ $ (|SparseUnivariatePolynomial| |t#1|)))
(SIGNATURE |linearAssociatedOrder|
((|SparseUnivariatePolynomial| |t#1|) $))
(SIGNATURE |linearAssociatedLog|
((|SparseUnivariatePolynomial| |t#1|) $))
(SIGNATURE |linearAssociatedLog|
((|Union| (|SparseUnivariatePolynomial| |t#1|) "failed") $
$)))
|noBranch|)))
****** level 2 ******
$x:= (ExtensionField t#1)
$m:= (Category)
$f:=
((((|t#1| #) (F # #) ($ #) (|FiniteAlgebraicExtensionField| #) ...)))
>> Apparent user error:
cannot compile (ExtensionField t#1)
I don't know what is going on exactly.
Build log file attached
--
Greg
2016-08-28 15:47 GMT+02:00 Waldek Hebisch <[email protected]>:
> >
> > Will test tomorrow. Windows 7.
>
> On Linux the patch works, so I commited it. Hope that it
> will help Windows.
>
> Note that when building from SVN on Windows one has to
> use separate build directory (some filenames created during
> build differ on in case from filenames of source files).
>
> > BTW my first name is Gr=C3=A9gory
>
> Is Gregory good enough? I have trouble to pass French
> (and other international) letters trough my mail setup.
>
> --
> Waldek Hebisch
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
log.txt.gz
Description: GNU Zip compressed data
