Packages

object LinNormBound

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LinNormBound
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class ConjGen(n: Int, pf: LinNormBound) extends LinNormBound with Product with Serializable
  2. case class Gen(n: Int) extends LinNormBound with Product with Serializable
  3. case class PowerBound(baseword: Word, n: Int, pf: LinNormBound) extends LinNormBound with Product with Serializable
  4. case class Triang(pf1: LinNormBound, pf2: LinNormBound) extends LinNormBound with Product with Serializable

Value Members

  1. val NtoQ: Func[NatRing.LocalTerm, QField.LocalTerm]
  2. lazy val conjInv: FuncLike[RepTerm[Word], FuncLike[RepTerm[Word], Equality[RepTerm[Rational]]]]
  3. lazy val expvars: Vector[Term]
  4. val g: RepTerm[Word]
  5. lazy val gen: Func[RepTerm[SafeLong], RepTerm[Word]]
  6. lazy val genBound: FuncLike[RepTerm[SafeLong], PosWit]
  7. val h: RepTerm[Word]
  8. lazy val invBound: FuncLike[RepTerm[Word], FuncLike[RepTerm[Rational], FuncLike[PosWit, PosWit]]]
  9. val l: Func[RepTerm[Word], RepTerm[Rational]]
  10. val n: RepTerm[SafeLong]
  11. val nr: QField.LocalTerm
  12. val pos: Pos
  13. lazy val powerBound: FuncLike[RepTerm[Word], FuncLike[RepTerm[Rational], FuncLike[RepTerm[SafeLong], FuncLike[PosWit, PosWit]]]]
  14. lazy val symmetry: FuncLike[RepTerm[Word], Equality[RepTerm[Rational]]]
  15. lazy val triang: FuncLike[RepTerm[Word], FuncLike[RepTerm[Word], PosWit]]
  16. lazy val triangBound: FuncLike[RepTerm[Word], FuncLike[RepTerm[Word], FuncLike[RepTerm[Rational], FuncLike[RepTerm[Rational], FuncLike[PosWit, FuncLike[PosWit, PosWit]]]]]]
  17. val upbound: FuncLike[RepTerm[Word], FuncLike[RepTerm[Rational], Pos]]
  18. val x: RepTerm[Rational]
  19. val y: RepTerm[Rational]