Révision 180 pobysoPythonSage/src/sageSLZ/sageSLZ.sage
| sageSLZ.sage (revision 180) | ||
|---|---|---|
| 1346 | 1346 |
""" |
| 1347 | 1347 |
Compute the resultant for two polynomials for a given variable |
| 1348 | 1348 |
and return the (poly1, poly2, resultant) if the resultant |
| 1349 |
is not 0 or 1.
|
|
| 1349 |
is not 0. |
|
| 1350 | 1350 |
Return () otherwise. |
| 1351 | 1351 |
""" |
| 1352 | 1352 |
polynomialRing0 = poly1.parent() |
| 1353 | 1353 |
resultantInElimVar = poly1.resultant(poly2,polynomialRing0(elimVar)) |
| 1354 |
if resultantInElimVar.is_zero() or resultantInElimVar == 1:
|
|
| 1354 |
if resultantInElimVar.is_zero(): |
|
| 1355 | 1355 |
return () |
| 1356 | 1356 |
else: |
| 1357 | 1357 |
return (poly1, poly2, resultantInElimVar) |
Formats disponibles : Unified diff