18 | | That should really be an error already. Nothing useful will even come from defining polynomials *over* the symbolic ring. SR is not a fully implemented ring. For instance, equality testing is spotty at best. It's not really an integral domain either: |
| 18 | That should really be an error already. Nothing useful will even come from defining polynomials *over* the symbolic ring. |
| 19 | |
| 20 | ['''EDIT''': As shown below, people DO find uses for them.] |
| 21 | |
| 22 | SR is not a fully implemented ring. For instance, equality testing is spotty at best. It's not really an integral domain either: |