On Tue, May 30, 2023 at 07:31:19AM -0700, Sid Andal wrote:
> Compilation of the updated naalg.spad leads to the following errors:
>
>
> (1) -> )compile naalg.spad
> .
> .
> .
> .
> ****** Domain: R already in scope
> augmenting R: (IntegralDomain)
> processing macro definition LSMP ==> LinearSystemMatrixPackage2 R
> compiling exported coordinates : ($,Vector $) -> Vector R
> Semantic Errors:
> [1] reductum: first is BOTH a variable and a literal
> [2] coordinates: LinearSystemMatrixPackage2 is not a known type
>
> Warnings:
> [1] monomial?: x has no value
> [2] construct: k has no value
> [3] construct: c has no value
>
> ****** comp fails at level 3 with expression: ******
> error in function coordinates
>
> (SEQ
> (|:=| (|:| |m| (|NonNegativeInteger|))
> (|::| (|maxIndex| |b|) (|NonNegativeInteger|)))
> (|:=| (|:| |transitionMatrix| (|Matrix| R))
> ((|Sel| (|Matrix| R) |new|) |n| |m| (|Sel| R 0)))
> (REPEAT (IN |i| (SEGMENT 1 |m|))
> (|setColumn!| |transitionMatrix| |i| (|coordinates| (|b| |i|))))
> (|:=| |res| | << |
> ((|Sel| (|LinearSystemMatrixPackage2| R) |solveUniquely|)
> |transitionMatrix|
> (|coordinates| |x|))
> | >> |)
> (|exit| 1
> (IF (|case| |res| "failed")
> (|error| "coordinates: solveUniquely failed")
> (@ |res| (|Vector| R)))))
> ****** level 3 ******
> $x:= ((Sel (LinearSystemMatrixPackage2 R) solveUniquely) transitionMatrix
> (coordinates x))
> $m:= $EmptyMode
> $f:=
> ((((|i| # #) (|transitionMatrix| # #) (|m| # #) ($$ #) ...)))
>
> >> Apparent user error:
> NoValueMode
> is an unknown mode
You need also earlier tensor-related changes. When you fetch
sources via git you will get complete set of changes.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230530232148.gjvgfdzhxqmgnsmg%40fricas.math.uni.wroc.pl.
