Dennis J. Darland
Practice in Programming
ASUS Development Computer - Ubuntu 14.04
Starting  Mon May 21 21:06:15 CDT 2018
Finished  Mon May 21 21:06:15 CDT 2018
Poly/ML 5.2 Release
> > # val != = fn : Real.real * Real.real -> bool
val * = fn : Real.real * Real.real -> Real.real
val *+ = fn : Real.real * Real.real * Real.real -> Real.real
val *- = fn : Real.real * Real.real * Real.real -> Real.real
val + = fn : Real.real * Real.real -> Real.real
val - = fn : Real.real * Real.real -> Real.real
val / = fn : Real.real * Real.real -> Real.real
val < = fn : Real.real * Real.real -> bool
val <= = fn : Real.real * Real.real -> bool
val == = fn : Real.real * Real.real -> bool
val > = fn : Real.real * Real.real -> bool
val >= = fn : Real.real * Real.real -> bool
val ?= = fn : Real.real * Real.real -> bool
structure Math :
  sig
    val acos : Real.Math.real -> Real.Math.real
    val asin : Real.Math.real -> Real.Math.real
    val atan : Real.Math.real -> Real.Math.real
    val atan2 : Real.Math.real * Real.Math.real -> Real.Math.real
    val cos : Real.Math.real -> Real.Math.real
    val cosh : Real.Math.real -> Real.Math.real
    val e : Real.Math.real
    val exp : Real.Math.real -> Real.Math.real
    val ln : Real.Math.real -> Real.Math.real
    val log10 : Real.Math.real -> Real.Math.real
    val pi : Real.Math.real
    val pow : Real.Math.real * Real.Math.real -> Real.Math.real
    type real
    val sin : Real.Math.real -> Real.Math.real
    val sinh : Real.Math.real -> Real.Math.real
    val sqrt : Real.Math.real -> Real.Math.real
    val tan : Real.Math.real -> Real.Math.real
    val tanh : Real.Math.real -> Real.Math.real
  end
val abs = fn : Real.real -> Real.real
val ceil = fn : Real.real -> Int.int
val checkFloat = fn : Real.real -> Real.real
val class = fn : Real.real -> IEEEReal.float_class
val compare = fn : Real.real * Real.real -> General.order
val compareReal = fn : Real.real * Real.real -> IEEEReal.real_order
val copySign = fn : Real.real * Real.real -> Real.real
val floor = fn : Real.real -> Int.int
val fmt = fn : StringCvt.realfmt -> Real.real -> string
val fromDecimal = fn : IEEEReal.decimal_approx -> Real.real option
val fromInt = fn : int -> Real.real
val fromLarge = fn : IEEEReal.rounding_mode -> LargeReal.real -> Real.real
val fromLargeInt = fn : Int.int -> Real.real
val fromManExp = fn : {exp: int, man: Real.real} -> Real.real
val fromString = fn : string -> Real.real option
val isFinite = fn : Real.real -> bool
val isNan = fn : Real.real -> bool
val isNormal = fn : Real.real -> bool
val max = fn : Real.real * Real.real -> Real.real
val maxFinite = 1.797693135E308 : Real.real
val min = fn : Real.real * Real.real -> Real.real
val minNormalPos = 2.225073859E~308 : Real.real
val minPos = 4.940656458E~324 : Real.real
val negInf = ~inf : Real.real
val nextAfter = fn : Real.real * Real.real -> Real.real
val posInf = inf : Real.real
val precision = 53 : int
val radix = 2 : int
type real
val realCeil = fn : Real.real -> Real.real
val realFloor = fn : Real.real -> Real.real
val realMod = fn : Real.real -> Real.real
val realRound = fn : Real.real -> Real.real
val realTrunc = fn : Real.real -> Real.real
val rem = fn : Real.real * Real.real -> Real.real
val round = fn : Real.real -> Int.int
val sameSign = fn : Real.real * Real.real -> bool
val scan = fn
: (char, 'a) StringCvt.reader -> (Real.real, 'a) StringCvt.reader
val sign = fn : Real.real -> int
val signBit = fn : Real.real -> bool
val split = fn : Real.real -> {frac: Real.real, whole: Real.real}
val toDecimal = fn : Real.real -> IEEEReal.decimal_approx
val toInt = fn : IEEEReal.rounding_mode -> Real.real -> int
val toLarge = fn : Real.real -> LargeReal.real
val toLargeInt = fn : IEEEReal.rounding_mode -> Real.real -> Int.int
val toManExp = fn : Real.real -> {exp: int, man: Real.real}
val toString = fn : Real.real -> string
val trunc = fn : Real.real -> Int.int
val unordered = fn : Real.real * Real.real -> bool
val ~ = fn : Real.real -> Real.real
> val acos = fn : Real.Math.real -> Real.Math.real
val asin = fn : Real.Math.real -> Real.Math.real
val atan = fn : Real.Math.real -> Real.Math.real
val atan2 = fn : Real.Math.real * Real.Math.real -> Real.Math.real
val cos = fn : Real.Math.real -> Real.Math.real
val cosh = fn : Real.Math.real -> Real.Math.real
val e = 2.718281828 : Real.Math.real
val exp = fn : Real.Math.real -> Real.Math.real
val ln = fn : Real.Math.real -> Real.Math.real
val log10 = fn : Real.Math.real -> Real.Math.real
val pi = 3.141592654 : Real.Math.real
val pow = fn : Real.Math.real * Real.Math.real -> Real.Math.real
type real
val sin = fn : Real.Math.real -> Real.Math.real
val sinh = fn : Real.Math.real -> Real.Math.real
val sqrt = fn : Real.Math.real -> Real.Math.real
val tan = fn : Real.Math.real -> Real.Math.real
val tanh = fn : Real.Math.real -> Real.Math.real
> # # # # # # # val a = {x = 4.0, y = ~3.0, z = 0.0, name = "a"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> # # # # # val b = {x = 6.0, y = 8.0, z = 0.0, name = "b"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> # # # # # val f = {x = 2.0, y = ~3.0, z = 7.0, name = "f"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> # # # # # val g = {x = 12.0, y = 45.0, z = ~8.0, name = "g"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> # # # # # val h = {x = ~5.0, y = ~3.0, z = 42.0, name = "h"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> > # # # # # # val add = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} *
   {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {x: Real.real, y: Real.real, z: Real.real, name: string}
> > # # # # # val subtract = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} *
   {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {x: Real.real, y: Real.real, z: Real.real, name: string}
> > # # # # # val cross = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} *
   {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {x: Real.real, y: Real.real, z: Real.real, name: string}
> > # # # # val dot = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} *
   {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {out: {dot: Real.real, name: string}}
> > # # # # val magnitude = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {out: {mag: Real.Math.real, name: string}}
> > # # # # val direction_r = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {out: {name: string, d_rad: Real.Math.real}}
> > # # # # val direction_d = fn
:
   string * {x: Real.real, y: Real.real, z: Real.real, name: string} ->
   {out: {name: string, d_deg: Real.real}}
> > > > > > > val c = {x = 10.0, y = 5.0, z = 0.0, name = "a+b"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> > val d = {x = 2.0, y = 11.0, z = 0.0, name = "b-a"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> > val e = {x = ~2.0, y = ~11.0, z = 0.0, name = "a-b"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> > val ma = {out = {mag = 5.0, name = "ma"}}
: {out: {mag: Real.Math.real, name: string}}
> val mb = {out = {mag = 10.0, name = "mb"}}
: {out: {mag: Real.Math.real, name: string}}
> val mc = {out = {mag = 11.18033989, name = "mc"}}
: {out: {mag: Real.Math.real, name: string}}
> val md = {out = {mag = 11.18033989, name = "md"}}
: {out: {mag: Real.Math.real, name: string}}
> val me = {out = {mag = 11.18033989, name = "me"}}
: {out: {mag: Real.Math.real, name: string}}
> > val dar = {out = {name = "da_r", d_rad = ~0.6435011088}}
: {out: {name: string, d_rad: Real.Math.real}}
> val dbr = {out = {name = "db_r", d_rad = 0.927295218}}
: {out: {name: string, d_rad: Real.Math.real}}
> val dcr = {out = {name = "dc_r", d_rad = 0.463647609}}
: {out: {name: string, d_rad: Real.Math.real}}
> val ddr = {out = {name = "dd_r", d_rad = 1.390942827}}
: {out: {name: string, d_rad: Real.Math.real}}
> val der = {out = {name = "de_r", d_rad = ~1.750649827}}
: {out: {name: string, d_rad: Real.Math.real}}
> > val dad = {out = {name = "da_d", d_deg = ~36.86989765}}
: {out: {name: string, d_deg: Real.real}}
> val dbd = {out = {name = "db_d", d_deg = 53.13010235}}
: {out: {name: string, d_deg: Real.real}}
> val dcd = {out = {name = "dc_d", d_deg = 26.56505118}}
: {out: {name: string, d_deg: Real.real}}
> val ddd = {out = {name = "dd_d", d_deg = 79.69515353}}
: {out: {name: string, d_deg: Real.real}}
> val ded = {out = {name = "de_d", d_deg = ~100.3048465}}
: {out: {name: string, d_deg: Real.real}}
> > val ada = {out = {dot = 25.0, name = "a.a"}}
: {out: {dot: Real.real, name: string}}
> val adb = {out = {dot = 0.0, name = "a.b"}}
: {out: {dot: Real.real, name: string}}
> val bda = {out = {dot = 0.0, name = "b.a"}}
: {out: {dot: Real.real, name: string}}
> val adc = {out = {dot = 25.0, name = "a.c"}}
: {out: {dot: Real.real, name: string}}
> val dda = {out = {dot = ~25.0, name = "d.a"}}
: {out: {dot: Real.real, name: string}}
> val ade = {out = {dot = 25.0, name = "a.e"}}
: {out: {dot: Real.real, name: string}}
> val eda = {out = {dot = 25.0, name = "e.a"}}
: {out: {dot: Real.real, name: string}}
> > val aca = {x = 12.0, y = 0.0, z = 0.0, name = "aca"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val acb = {x = ~32.0, y = 0.0, z = 50.0, name = "acb"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val bca = {x = 18.0, y = 0.0, z = ~50.0, name = "bca"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val acc = {x = ~20.0, y = 0.0, z = 50.0, name = "acc"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val dca = {x = 6.0, y = 0.0, z = ~50.0, name = "dca"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val ace = {x = 44.0, y = ~0.0, z = ~50.0, name = "ace"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val eca = {x = ~6.0, y = 0.0, z = 50.0, name = "eca"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> > val fcg = {x = ~66.0, y = 100.0, z = 126.0, name = "fcg"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val fcg = {x = ~120.0, y = ~119.0, z = ~21.0, name = "fch"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val fcg = {x = ~900.0, y = 0.0, z = 0.0, name = "gch"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val fcg = {x = 351.0, y = ~100.0, z = ~126.0, name = "gcf"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val fcg = {x = ~36.0, y = 119.0, z = 21.0, name = "hcf"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
> val fcg = {x = 249.0, y = 464.0, z = ~189.0, name = "hcg"}
: {x: Real.real, y: Real.real, z: Real.real, name: string}
>