Build passes: https://travis-ci.org/oldk1331/fricas/builds/221249155
https://github.com/oldk1331/fricas/commit/b345c05cd43fad1ea0ac5ea3310a4b8bf3836e11.patch or: --- a/src/algebra/expr.spad +++ b/src/algebra/expr.spad @@ -32,8 +32,6 @@ ++ present in f by applying their defining relations. number? : % -> Boolean ++ number?(f) tests if f is rational - simplifyPower : (%, Integer) -> % - ++ simplifyPower(f, n) \undocumented{} if R has PolynomialFactorizationExplicit then PolynomialFactorizationExplicit setSimplifyDenomsFlag : Boolean -> Boolean @@ -90,6 +88,7 @@ algkernels : List K -> List K evl : (MP, K, SparseUnivariatePolynomial %) -> Fraction MP evl0 : (MP, K) -> SparseUnivariatePolynomial Fraction MP + simplifyPower : (%, Integer) -> % Rep := Fraction MP 0 == 0$Rep --- a/src/algebra/manip.spad +++ b/src/algebra/manip.spad @@ -231,8 +231,6 @@ ++ \spad{b^q * (a * b^r)^(1/n)}. ++ This transformation is not in general valid for all ++ complex numbers b. - rootKerSimp : (OP, F, N) -> F - ++ rootKerSimp(op, f, n) should be local but conditional. Implementation ==> add @@ -244,6 +242,7 @@ ALGOP := '%alg + rootKerSimp : (OP, F, N) -> F innerRF : (F, List K) -> F rootExpand : K -> F algkernels : List K -> 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 [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.
