core/spire.math/Algebraic/LiYap

LiYap

@SerialVersionUID(0L) case
object LiYap extends ZeroBoundFunction

An implementation of "A New Constructive Root Bound for Algebraic Expressions" by Chen Li & Chee Yap.

trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Classlikes

final case
class Bound(lc: Long, tc: Long, measure: Long, lb: Long, ub: Long)
Value Params
lb

Lower bound on the value.

lc

Bound on the leading coefficient.

measure

Bound on the measure.

tc

Bound on the trailing coefficient.

ub

Upper bound on the value.

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror
type MirroredMonoType = Singleton
Inherited from
Singleton
type MirroredType = Singleton
Inherited from
Singleton

Value members

Concrete methods

@nowarn
def apply(expr: Expr): Bound

Inherited methods

def fromProduct(p: Product): MirroredMonoType
Inherited from
Singleton
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product