Nuprl Definition : quadratic1
quadratic1(a;b;c) == (-(b) + rsqrt((b * b) - r(4) * a * c)/r(2) * a)
Definitions occuring in Statement :
rsqrt: rsqrt(x),
rdiv: (x/y),
rsub: x - y,
rmul: a * b,
rminus: -(x),
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rmul: a * b,
rsub: x - y,
rsqrt: rsqrt(x),
rminus: -(x),
radd: a + b,
rdiv: (x/y)
FDL editor aliases :
quadratic1
Latex:
quadratic1(a;b;c) == (-(b) + rsqrt((b * b) - r(4) * a * c)/r(2) * a)
Date html generated:
2016_10_26-AM-10_10_48
Last ObjectModification:
2016_09_29-PM-04_18_53
Theory : reals
Home
Index