P
Initializing...
Decomposition of the binary type event according to whether the top coefficient vanishes: if it does not, it is the primitive affine type event; · Prove2Me