public void FormatWithZeroTest()
{
SignedNumeral signed = new SignedNumeral(ChurchTuple <Numeral, Numeral> .Create(12U.Church())(23U.Church()));
signed = signed.Format();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(11U == signed.Negative().Unchurch());
signed = new SignedNumeral(ChurchTuple <Numeral, Numeral> .Create(23U.Church())(12U.Church()));
signed = signed.Format();
Assert.IsTrue(11U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
}
public void SubtractTest()
{
SignedNumeral a = 0U.Church().Sign();
SignedNumeral b = 0U.Church().Sign();
SignedNumeral result = a.Subtract(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(0U == result.Negative().Unchurch());
a = 1U.Church().Sign();
b = 1U.Church().Sign().Negate();
result = a.Subtract(b);
Assert.IsTrue(2U == result.Positive().Unchurch());
Assert.IsTrue(0U == result.Negative().Unchurch());
a = 3U.Church().Sign();
b = 5U.Church().Sign().Negate();
result = a.Subtract(b);
Assert.IsTrue(8U == result.Positive().Unchurch());
Assert.IsTrue(0U == result.Negative().Unchurch());
}
public void DivideByTest()
{
SignedNumeral a = 0U.Church().Sign();
SignedNumeral b = 0U.Church().Sign();
SignedNumeral result = a.DivideBy(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(0U == result.Negative().Unchurch());
a = 1U.Church().Sign();
b = 1U.Church().Sign().Negate();
result = a.DivideBy(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(1U == result.Negative().Unchurch());
a = 11U.Church().Sign();
b = 5U.Church().Sign().Negate();
result = a.DivideBy(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(2U == result.Negative().Unchurch());
}
public void MultiplyTest()
{
SignedNumeral a = 0U.Church().Sign();
SignedNumeral b = 0U.Church().Sign();
SignedNumeral result = a.Multiply(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(0U == result.Negative().Unchurch());
a = 1U.Church().Sign();
b = 1U.Church().Sign().Negate();
result = a.Multiply(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(1U == result.Negative().Unchurch());
a = 3U.Church().Sign();
b = 5U.Church().Sign().Negate();
result = a.Multiply(b);
Assert.IsTrue(0U == result.Positive().Unchurch());
Assert.IsTrue(15U == result.Negative().Unchurch());
}
public void SignNegatePositiveNegativeTest()
{
SignedNumeral signed = 0U.Church().Sign();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
signed = signed.Negate();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
signed = 1U.Church().Sign();
Assert.IsTrue(1U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
signed = signed.Negate();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(1U == signed.Negative().Unchurch());
signed = 2U.Church().Sign();
Assert.IsTrue(2U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
signed = signed.Negate();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(2U == signed.Negative().Unchurch());
signed = 123U.Church().Sign();
Assert.IsTrue(123U == signed.Positive().Unchurch());
Assert.IsTrue(0U == signed.Negative().Unchurch());
signed = signed.Negate();
Assert.IsTrue(0U == signed.Positive().Unchurch());
Assert.IsTrue(123U == signed.Negative().Unchurch());
signed = new SignedNumeral(ChurchTuple <Numeral, Numeral> .Create(12U.Church())(23U.Church()));
Assert.IsTrue(12U == signed.Positive().Unchurch());
Assert.IsTrue(23U == signed.Negative().Unchurch());
signed = signed.Negate();
Assert.IsTrue(23U == signed.Positive().Unchurch());
Assert.IsTrue(12U == signed.Negative().Unchurch());
}
public static SignedNumeral Format(this SignedNumeral signed) => ChurchSignedNumeral.Format(signed);
public static Numeral Negative(this SignedNumeral signed) => ChurchSignedNumeral.Negative(signed);
public static Numeral Positive(this SignedNumeral signed) => ChurchSignedNumeral.Positive(signed);
