added the sprem() function to normal.h, and fixed some documentation

[ginac.git] / ginac / normal.h

diff --git a/ginac/normal.h b/ginac/normal.h
index 71bf7548bfbb0fbc7455579e559643e8b3abb6c9..be67d8ebe450b0f3b0b963907991655914ed4a15 100644 (file)
--- a/ginac/normal.h
+++ b/ginac/normal.h
@@ -42,9 +42,12 @@ extern ex rem(const ex &a, const ex &b, const symbol &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);
 
 // 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);
 

-// Pseudo-remainder of polynomials a(x) and b(x) in Z[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 symbol &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);
+

 // 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);
 
 // 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);