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

use crate::{traits::AdicInteger, EAdic, IAdic, QAdic, RAdic, UAdic, ZAdic};


impl<A> From<UAdic> for QAdic<A>
where A: AdicInteger {
    fn from(value: UAdic) -> Self {
        QAdic::new(A::from(value), 0)
    }
}

impl From<QAdic<UAdic>> for QAdic<ZAdic> {
    fn from(value: QAdic<UAdic>) -> Self {
        QAdic::new(ZAdic::from(value.internal_int), value.valuation)
    }
}

impl From<QAdic<IAdic>> for QAdic<ZAdic> {
    fn from(value: QAdic<IAdic>) -> Self {
        QAdic::new(ZAdic::from(value.internal_int), value.valuation)
    }
}

impl From<QAdic<RAdic>> for QAdic<ZAdic> {
    fn from(value: QAdic<RAdic>) -> Self {
        QAdic::new(ZAdic::from(value.internal_int), value.valuation)
    }
}

impl From<QAdic<EAdic>> for QAdic<ZAdic> {
    fn from(value: QAdic<EAdic>) -> Self {
        QAdic::new(ZAdic::from(value.internal_int), value.valuation)
    }
}