CompleteField<S>
Field<S>
OrderedField<S>
OrderedRing<S>
RealField<S>
R
Z
public interface Ring<S>
S
add(S a, S b)
multiply(S a, S b)
opposite(S a)
subtract(S a, S b)
unit()
zero()
S zero()
S unit()
S add(S a, S b)
S opposite(S a)
S subtract(S a, S b)
S multiply(S a, S b)