public void ExponentTest() { var target = new BitView(0.75); target.Exponent.Is(-1); new BitView(1).Exponent.Is(0); }
public void bs_bitview() { var x = Random.CpuVec256 <int>(); var y = BitView.ViewBits(ref x); var ys = y.Bytes.ToBitString(); var xs = x.ToBitString(); Claim.eq(ys, xs); }
public void SignTest() { var target = new BitView(-1.0); target.Sign.Is(SignTypes.Negative); target = new BitView(1.0); target.Sign.Is(SignTypes.Positive); }
static void Main(string[] args) { Console.WriteLine(Math.Sin(2 / Math.PI).ToString("g17")); Console.WriteLine(Math.Cos(2 / Math.PI).ToString("g17")); var view = new BitView(Math.PI); Console.WriteLine(view.ToString()); }
public void ValueTest() { var target = new BitView(Math.PI); target.Value.Is(Math.PI); target = new BitView(Math.E); target.Value.Is(Math.E); target = new BitView(0.0); target.Value.Is(0.0); }
public void MantissaTest() { var target = new BitView(1.0).Mantissa; target.Take(52).All(x => !x).IsTrue(); target[52].IsTrue(); target = new BitView(0.5).Mantissa; target.Take(52).All(x => !x).IsTrue(); target[52].IsTrue(); target = new BitView(.75).Mantissa; target.Take(51).All(x => !x).IsTrue(); target[51].IsTrue(); target[52].IsTrue(); }
public void VerifyPrimalView() { var src = UInt64.MaxValue; var len = sizeof(ulong); var view = BitView.ViewBits(ref src); for (var i = 0; i < len; i++) { for (byte j = 0; j < 8; j++) { view[i, j] = j % 2 == 0; } } var bs = src.ToBitString(); for (var i = 0; i < len * 8; i++) { Claim.yea(bs[i] == (i % 2 == 0)); } }
void ReleaseDesignerOutlets() { if (BitView != null) { BitView.Dispose(); BitView = null; } if (ClearButton != null) { ClearButton.Dispose(); ClearButton = null; } if (CS_Label != null) { CS_Label.Dispose(); CS_Label = null; } if (Input1Binary != null) { Input1Binary.Dispose(); Input1Binary = null; } if (Input2Binary != null) { Input2Binary.Dispose(); Input2Binary = null; } if (InputLabel1 != null) { InputLabel1.Dispose(); InputLabel1 = null; } if (InputNumber2 != null) { InputNumber2.Dispose(); InputNumber2 = null; } if (InputTextbox1 != null) { InputTextbox1.Dispose(); InputTextbox1 = null; } if (InputTextbox2 != null) { InputTextbox2.Dispose(); InputTextbox2 = null; } if (Results != null) { Results.Dispose(); Results = null; } if (ResultsTextbox != null) { ResultsTextbox.Dispose(); ResultsTextbox = null; } if (SegementedControl != null) { SegementedControl.Dispose(); SegementedControl = null; } if (TypeLabel != null) { TypeLabel.Dispose(); TypeLabel = null; } }