Signed numbers!

This commit is contained in:
2018-04-02 16:36:28 -04:00
parent c4409d9c25
commit acda294bac
10 changed files with 31302 additions and 1052 deletions

View File

@@ -13,6 +13,25 @@ macro_rules! define_from
} }
} }
macro_rules! define_signed_from
{
($type: ident, $base: ident, $uns: ident) => {
impl From<$uns> for $type {
fn from(x: $uns) -> $type {
SCN{ negative: false, value: UCN::from(x) }
}
}
impl From<$base> for $type {
fn from(x: $base) -> $type {
let neg = x < 0;
let absx = x.abs();
SCN{ negative: neg, value: UCN::from(absx as $uns) }
}
}
}
}
macro_rules! define_into macro_rules! define_into
{ {
($type: ident, $base: ident) => { ($type: ident, $base: ident) => {
@@ -27,3 +46,22 @@ macro_rules! define_into
} }
} }
} }
macro_rules! define_signed_into
{
($type: ident, $base: ident, $uns: ident) => {
impl Into<$uns> for $type {
fn into(self) -> $uns {
let res: $uns = self.value.into();
if self.negative { 0-res } else { res }
}
}
impl Into<$base> for $type {
fn into(self) -> $base {
let res: $uns = self.value.into();
if self.negative { (0-res) as $base } else { res as $base }
}
}
}
}

File diff suppressed because it is too large Load Diff

199
src/cryptonum/signed.rs Normal file
View File

@@ -0,0 +1,199 @@
use cryptonum::unsigned::{UCN,divmod};
use std::fmt;
use std::cmp::Ordering;
use std::fmt::Write;
use std::ops::*;
/// In case you were wondering, it stands for "Signed Crypto Num".
#[derive(Clone,Debug,PartialEq,Eq)]
pub struct SCN {
negative: bool,
value: UCN
}
impl SCN {
pub fn from_str(x: &str) -> SCN {
if x.get(0..1) == Some("-") {
SCN{ negative: true, value: UCN::from_str(&x[1..]) }
} else {
SCN{ negative: false, value: UCN::from_str(x) }
}
}
}
impl fmt::UpperHex for SCN {
fn fmt(&self, fmt: &mut fmt::Formatter) -> Result<(),fmt::Error> {
if self.negative {
fmt.write_char('-')?;
}
self.value.fmt(fmt)
}
}
//------------------------------------------------------------------------------
//
// Conversions to/from crypto nums.
//
//------------------------------------------------------------------------------
define_signed_from!(SCN, i8, u8);
define_signed_from!(SCN, i16, u16);
define_signed_from!(SCN, i32, u32);
define_signed_from!(SCN, i64, u64);
define_signed_into!(SCN, i8, u8);
define_signed_into!(SCN, i16, u16);
define_signed_into!(SCN, i32, u32);
define_signed_into!(SCN, i64, u64);
//------------------------------------------------------------------------------
//
// Comparisons
//
//------------------------------------------------------------------------------
impl PartialOrd for SCN {
fn partial_cmp(&self, other: &SCN) -> Option<Ordering> {
Some(self.cmp(other))
}
}
impl Ord for SCN {
fn cmp(&self, other: &SCN) -> Ordering {
match (self.negative, other.negative) {
(false, false) => self.value.cmp(&other.value),
(false, true) => Ordering::Greater,
(true, false) => Ordering::Less,
(true, true) => self.value.cmp(&other.value).reverse()
}
}
}
//------------------------------------------------------------------------------
//
// Arithmetic
//
//------------------------------------------------------------------------------
impl<'a> AddAssign<&'a SCN> for SCN {
fn add_assign(&mut self, rhs: &SCN) {
if self.negative == rhs.negative {
self.value.add_assign(&rhs.value);
} else {
if self.value >= rhs.value {
self.value.sub_assign(&rhs.value);
} else {
self.negative = !self.negative;
self.value = &rhs.value - &self.value;
}
}
}
}
impl<'a> SubAssign<&'a SCN> for SCN {
fn sub_assign(&mut self, rhs: &SCN) {
let flipped = SCN{ negative: !rhs.negative, value: rhs.value.clone() };
self.add_assign(&flipped);
}
}
impl<'a> MulAssign<&'a SCN> for SCN {
fn mul_assign(&mut self, rhs: &SCN) {
self.negative ^= rhs.negative;
self.value.mul_assign(&rhs.value);
}
}
impl<'a> DivAssign<&'a SCN> for SCN {
fn div_assign(&mut self, rhs: &SCN) {
self.negative ^= rhs.negative;
// rounding makes me grumpy
let mut remainder = Vec::new();
let copy = self.value.contents.clone();
divmod(&mut self.value.contents, &mut remainder,
&copy, &rhs.value.contents);
if self.negative {
let one = UCN{ contents: vec![1] };
self.sub_assign(SCN{ negative: false, value: one});
}
}
}
impl<'a> RemAssign<&'a SCN> for SCN {
fn rem_assign(&mut self, rhs: &SCN) {
let base = &self.value % &rhs.value;
if self.negative == rhs.negative {
self.value = base;
} else {
self.negative = rhs.negative;
self.value = &rhs.value - &base;
}
}
}
derive_arithmetic_operators!(SCN, Add, add, AddAssign, add_assign);
derive_arithmetic_operators!(SCN, Sub, sub, SubAssign, sub_assign);
derive_arithmetic_operators!(SCN, Mul, mul, MulAssign, mul_assign);
derive_arithmetic_operators!(SCN, Div, div, DivAssign, div_assign);
derive_arithmetic_operators!(SCN, Rem, rem, RemAssign, rem_assign);
//------------------------------------------------------------------------------
//
// Tests!
//
//------------------------------------------------------------------------------
#[cfg(test)]
mod test {
use std::fs::File;
use std::io::Read;
use super::*;
fn gold_test<F>(name: &str, f: F)
where
F: Fn(SCN,SCN) -> SCN
{
let mut file = File::open(name).unwrap();
let mut contents = String::new();
file.read_to_string(&mut contents).unwrap();
let mut iter = contents.lines();
while let Some(xstr) = iter.next() {
let ystr = iter.next().unwrap();
let zstr = iter.next().unwrap();
assert!(xstr.starts_with("x: "));
assert!(ystr.starts_with("y: "));
assert!(zstr.starts_with("z: "));
let x = SCN::from_str(&xstr[3..]);
let y = SCN::from_str(&ystr[3..]);
let z = SCN::from_str(&zstr[3..]);
assert_eq!(f(x,y), z);
}
}
#[test]
fn add_tests() {
gold_test("tests/add_tests_signed.txt", |x,y| x + y);
}
#[test]
fn sub_tests() {
gold_test("tests/sub_tests_signed.txt", |x,y| x - y);
}
#[test]
fn mul_tests() {
gold_test("tests/mul_tests_signed.txt", |x,y| x * y);
}
#[test]
fn div_tests() {
gold_test("tests/div_tests_signed.txt", |x,y| x / y);
}
#[test]
fn mod_tests() {
gold_test("tests/mod_tests_signed.txt", |x,y| x % y);
}
}

1046
src/cryptonum/unsigned.rs Normal file

File diff suppressed because it is too large Load Diff

View File

@@ -22,9 +22,4 @@ pub mod cryptonum;
#[cfg(test)] #[cfg(test)]
mod test { mod test {
#[test]
fn testing_works() {
assert!(true);
}
} }

6003
tests/add_tests_signed.txt Normal file

File diff suppressed because it is too large Load Diff

6003
tests/div_tests_signed.txt Normal file

File diff suppressed because it is too large Load Diff

6003
tests/mod_tests_signed.txt Normal file

File diff suppressed because it is too large Load Diff

6003
tests/mul_tests_signed.txt Normal file

File diff suppressed because it is too large Load Diff

6003
tests/sub_tests_signed.txt Normal file

File diff suppressed because it is too large Load Diff