6.16.1.4 Ideal_principal Objects

class Ideal_principal
A principal ideal.
Ideal_principal( ring, gen)

Instances of class Ideal_principal have the following methods (in addition to inherited methods and special methods):

divides,$  $ gen,$  $ is_principal

Further documentation:

divides( other)

Returns True if self divides other.

Instances of class Ideal_principal also have the following special methods:

__cmp__,$  $ __contains__,$  $ __repr__

See About this document... for information on suggesting changes.