I tested with TeXmacs after this modification, it works fine. BTW, there are two one-liner patch that we've discussed, can you commit them:
index c836157..3e6be5f 100644 --- a/src/algebra/solverad.spad +++ b/src/algebra/solverad.spad @@ -221,5 +221,5 @@ radicalRoots(lp : L RF, lv : L SY) == parRes := triangularSystems(lp, lv)$SystemSolvePackage(R) - parRes= list [] => [] + parRes= [] => [] -- select the components in "generic" form rlv := reverse lv diff --git a/src/algebra/efstruc.spad b/src/algebra/efstruc.spad index 3bcaece..e04c5d8 100644 --- a/src/algebra/efstruc.spad +++ b/src/algebra/efstruc.spad @@ -180,7 +180,7 @@ k2Elem : (K, List SY) -> F realElem : (F, List SY) -> F rootDep : (List K, K) -> U - findQRelation : (List SY, List F, F) -> U + findQRelation : (List SY, List SF, List F, F) -> U findRelation : (List SY, List SY, List K, K) -> U factdeprel : (List K, K) -> U toR : (List K, F) -> List K -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.