laws/algebra.laws/RingLaws/MultiplicativeProperties

MultiplicativeProperties

class MultiplicativeProperties(val base: GroupProperties, val nonZeroBase: Option[GroupProperties], val parent: Option[MultiplicativeProperties], val props: (String, Prop)*) extends RuleSet with HasOneParent
trait RuleSet
class Object
trait Matchable
class Any

Value members

Inherited methods

final def all: Properties

Assembles all properties. For the rules, see RuleSet.

Assembles all properties. For the rules, see RuleSet.

Inherited from
RuleSet
final def parents: List[RuleSet]
Inherited from
HasOneParent

Concrete fields

val bases: Seq[(String, RuleSet)]
val name: String
val props: (String, Prop)*