adic 0.5.1

Arithmetic and rootfinding for p-adic numbers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

use crate::{Variety, ZAdic};


#[test]
fn roots_sorted() {

    let mut var = zadic_variety!(5, 2, [[3, 2], [3, 1], [4, 4], [0, 2], [4, 0]]);
    var.adic_sort();
    assert_eq!(zadic_variety!(5, 2, [[0, 2], [3, 1], [3, 2], [4, 0], [4, 4]]), var);
    let mut iter = var.roots();
    assert_eq!(iter.next(), Some(&zadic_approx!(5, 2, [0, 2])));
    assert_eq!(iter.next(), Some(&zadic_approx!(5, 2, [3, 1])));
    assert_eq!(iter.next(), Some(&zadic_approx!(5, 2, [3, 2])));
    assert_eq!(iter.next(), Some(&zadic_approx!(5, 2, [4, 0])));
    assert_eq!(iter.next(), Some(&zadic_approx!(5, 2, [4, 4])));
    assert_eq!(iter.next(), None);

    let var = Variety::new(vec![
        zadic_approx!(5, 3, [2, 1, 0]), zadic_approx!(5, 2, [2, 1])
    ]);
    assert_eq!(
        Variety::new(
            vec![zadic_approx!(5, 2, [2, 1]), zadic_approx!(5, 3, [2, 1, 0])]
        ),
        var.adic_sorted()
    );
    let var = Variety::new(vec![
        zadic_approx!(5, 2, [2, 1]), ZAdic::from(uadic!(5, [2, 1]))
    ]);
    assert_eq!(
        Variety::new(vec![
            ZAdic::from(uadic!(5, [2, 1])), zadic_approx!(5, 2, [2, 1])
        ]),
        var.adic_sorted()
    );

}

#[test]
fn extend_roots() {
    let mut var = zadic_variety!(5, 2, [[3, 2], [3, 1]]).adic_sorted();
    assert_eq!(
        zadic_variety!(5, 2, [[3, 1], [3, 2]]).adic_sorted(),
        var
    );
    var.extend([zadic_approx!(5, 2, [4, 4]), zadic_approx!(5, 2, [0, 2]), zadic_approx!(5, 2, [4, 0])]);
    var.adic_sort();
    assert_eq!(
        zadic_variety!(5, 2, [[0, 2], [3, 1], [3, 2], [4, 0], [4, 4]]).adic_sorted(),
        var
    );
}

#[test]
fn display() {

    let var = Variety::<ZAdic>::empty();
    assert_eq!("variety(empty)", var.to_string());

    let var = zadic_variety!(5, 6, [[0, 0, 0, 0, 0, 0], [1, 2, 3, 0, 1, 2]]);
    assert_eq!("variety(...000000._5, ...210321._5)", var.to_string());

    let var = Variety::new(vec![ZAdic::from(uadic!(5, [1, 0, 3, 0, 0, 0])), zadic_approx!(5, 6, [1, 2, 3, 0, 1, 2])]);
    assert_eq!("variety(301._5, ...210321._5)", var.to_string());

}