X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fnormal.h;h=02f90688c8aebafea5b82d54283cc5727f28378b;hp=304d51c2b50bbb492e45dc03c4bc4fe313e411f4;hb=8dc09f48182574d792a2ed7c37b66831d9267a6c;hpb=dbd9c306a74f1cb258c0d15a346b973b39deaad2 diff --git a/ginac/normal.h b/ginac/normal.h index 304d51c2..02f90688 100644 --- a/ginac/normal.h +++ b/ginac/normal.h @@ -34,19 +34,19 @@ class ex; class symbol; // Quotient q(x) of polynomials a(x) and b(x) in Q[x], so that a(x)=b(x)*q(x)+r(x) -extern ex quo(const ex &a, const ex &b, const symbol &x, bool check_args = true); +extern ex quo(const ex &a, const ex &b, const ex &x, bool check_args = true); // Remainder r(x) of polynomials a(x) and b(x) in Q[x], so that a(x)=b(x)*q(x)+r(x) -extern ex rem(const ex &a, const ex &b, const symbol &x, bool check_args = true); +extern ex rem(const ex &a, const ex &b, const ex &x, bool check_args = true); // Decompose rational function a(x)=N(x)/D(x) into Q(x)+R(x)/D(x) with degree(R, x) < degree(D, x) -extern ex decomp_rational(const ex &a, const symbol &x); +extern ex decomp_rational(const ex &a, const ex &x); // Pseudo-remainder of polynomials a(x) and b(x) in Q[x] -extern ex prem(const ex &a, const ex &b, const symbol &x, bool check_args = true); +extern ex prem(const ex &a, const ex &b, const ex &x, bool check_args = true); // Pseudo-remainder of polynomials a(x) and b(x) in Q[x] -extern ex sprem(const ex &a, const ex &b, const symbol &x, bool check_args = true); +extern ex sprem(const ex &a, const ex &b, const ex &x, bool check_args = true); // Exact polynomial division of a(X) by b(X) in Q[X] (quotient returned in q), returns false when exact division fails extern bool divide(const ex &a, const ex &b, ex &q, bool check_args = true);