author Christian Bauer Tue, 29 Oct 2002 18:59:14 +0000 (18:59 +0000) committer Christian Bauer Tue, 29 Oct 2002 18:59:14 +0000 (18:59 +0000)
 ginac/normal.cpp patch | blob | history ginac/normal.h patch | blob | history

index 610c48d..5e6aa47 100644 (file)
@@ -471,14 +471,14 @@ 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].
*
*  @param a  first polynomial in x (dividend)
*  @param b  second polynomial in x (divisor)
*  @param x  a and b are polynomials in x
*  @param check_args  check whether a and b are polynomials with rational
*         coefficients (defaults to "true")
- *  @return pseudo-remainder of a(x) and b(x) in Z[x] */
+ *  @return pseudo-remainder of a(x) and b(x) in Q[x] */
ex prem(const ex &a, const ex &b, const symbol &x, bool check_args)
{
if (b.is_zero())
@@ -523,14 +523,14 @@ ex prem(const ex &a, const ex &b, const symbol &x, bool check_args)
}

-/** Sparse pseudo-remainder of polynomials a(x) and b(x) in Z[x].
+/** Sparse pseudo-remainder of polynomials a(x) and b(x) in Q[x].
*
*  @param a  first polynomial in x (dividend)
*  @param b  second polynomial in x (divisor)
*  @param x  a and b are polynomials in x
*  @param check_args  check whether a and b are polynomials with rational
*         coefficients (defaults to "true")
- *  @return sparse pseudo-remainder of a(x) and b(x) in Z[x] */
+ *  @return sparse pseudo-remainder of a(x) and b(x) in Q[x] */
ex sprem(const ex &a, const ex &b, const symbol &x, bool check_args)
{
if (b.is_zero())
index 71bf754..be67d8e 100644 (file)
@@ -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);

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

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