r = f % S
The result is zero if and only if the input belongs to the subring. If a sagbi basis is known for the subring then subduction is used to compute the normal forms. If no sagbi basis is known then an extrisic method is used, similar to groebnerMembershipTest.
|
|
|
|
|
|