pub struct Polynomial<const P: u32> { /* private fields */ }
Expand description
$\mathbb{F}_p$上の多項式
Implementations§
Source§impl<const P: u32> Polynomial<P>
impl<const P: u32> Polynomial<P>
Sourcepub fn constant(a: ConstModInt<P>) -> Self
pub fn constant(a: ConstModInt<P>) -> Self
定数項のみをもつ多項式を生成する。
Sourcepub fn coeff_of(&self, i: usize) -> ConstModInt<P>
pub fn coeff_of(&self, i: usize) -> ConstModInt<P>
$x^i$の係数を得る。
Sourcepub fn eval(&self, p: ConstModInt<P>) -> ConstModInt<P>
pub fn eval(&self, p: ConstModInt<P>) -> ConstModInt<P>
多項式に値p
を代入した結果を求める。
Sourcepub fn scale(&mut self, k: ConstModInt<P>)
pub fn scale(&mut self, k: ConstModInt<P>)
多項式をk
倍する。
Sourcepub fn differentiate(&mut self)
pub fn differentiate(&mut self)
多項式を微分する。
Sourcepub fn shift_higher(&mut self, k: usize)
pub fn shift_higher(&mut self, k: usize)
係数をk
次だけ高次側にずらす。ただし、$x^n$の項以降は無視する。
$(a_0 + a_1 x + a_2 x^2 + \ldots + a_{n-1} x^{n-1}) \times x^k \pmod {x^n}$
Sourcepub fn shift_lower(&mut self, k: usize)
pub fn shift_lower(&mut self, k: usize)
係数をk
次だけ低次側にずらす。ただし、負の次数の項は無視する。
Trait Implementations§
Source§impl<const P: u32> Add for Polynomial<P>
impl<const P: u32> Add for Polynomial<P>
Source§type Output = Polynomial<P>
type Output = Polynomial<P>
The resulting type after applying the
+
operator.Source§fn add(self, b: Polynomial<P>) -> Polynomial<P>
fn add(self, b: Polynomial<P>) -> Polynomial<P>
Performs the
+
operation. Read moreSource§impl<const P: u32> AddAssign for Polynomial<P>
impl<const P: u32> AddAssign for Polynomial<P>
Source§fn add_assign(&mut self, b: Polynomial<P>)
fn add_assign(&mut self, b: Polynomial<P>)
Performs the
+=
operation. Read moreSource§impl<const P: u32> AsMut<Vec<ConstModInt<P>>> for Polynomial<P>
impl<const P: u32> AsMut<Vec<ConstModInt<P>>> for Polynomial<P>
Source§fn as_mut(&mut self) -> &mut Vec<ConstModInt<P>>
fn as_mut(&mut self) -> &mut Vec<ConstModInt<P>>
Converts this type into a mutable reference of the (usually inferred) input type.
Source§impl<const P: u32> AsRef<[ConstModInt<P>]> for Polynomial<P>
impl<const P: u32> AsRef<[ConstModInt<P>]> for Polynomial<P>
Source§fn as_ref(&self) -> &[ConstModInt<P>]
fn as_ref(&self) -> &[ConstModInt<P>]
Converts this type into a shared reference of the (usually inferred) input type.
Source§impl<const P: u32> Clone for Polynomial<P>
impl<const P: u32> Clone for Polynomial<P>
Source§fn clone(&self) -> Polynomial<P>
fn clone(&self) -> Polynomial<P>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl<const P: u32> Debug for Polynomial<P>
impl<const P: u32> Debug for Polynomial<P>
Source§impl<const P: u32> Default for Polynomial<P>
impl<const P: u32> Default for Polynomial<P>
Source§fn default() -> Polynomial<P>
fn default() -> Polynomial<P>
Returns the “default value” for a type. Read more
Source§impl<const P: u32> From<Polynomial<P>> for Vec<ConstModInt<P>>
impl<const P: u32> From<Polynomial<P>> for Vec<ConstModInt<P>>
Source§fn from(value: Polynomial<P>) -> Self
fn from(value: Polynomial<P>) -> Self
Converts to this type from the input type.
Source§impl<T, const P: u32> From<Vec<T>> for Polynomial<P>where
T: Into<ConstModInt<P>>,
impl<T, const P: u32> From<Vec<T>> for Polynomial<P>where
T: Into<ConstModInt<P>>,
Source§impl<const P: u32> PartialEq for Polynomial<P>
impl<const P: u32> PartialEq for Polynomial<P>
Source§impl<const P: u32> Sub for Polynomial<P>
impl<const P: u32> Sub for Polynomial<P>
Source§type Output = Polynomial<P>
type Output = Polynomial<P>
The resulting type after applying the
-
operator.Source§fn sub(self, b: Polynomial<P>) -> Polynomial<P>
fn sub(self, b: Polynomial<P>) -> Polynomial<P>
Performs the
-
operation. Read moreSource§impl<const P: u32> SubAssign for Polynomial<P>
impl<const P: u32> SubAssign for Polynomial<P>
Source§fn sub_assign(&mut self, b: Polynomial<P>)
fn sub_assign(&mut self, b: Polynomial<P>)
Performs the
-=
operation. Read moreAuto Trait Implementations§
impl<const P: u32> Freeze for Polynomial<P>
impl<const P: u32> RefUnwindSafe for Polynomial<P>
impl<const P: u32> Send for Polynomial<P>
impl<const P: u32> Sync for Polynomial<P>
impl<const P: u32> Unpin for Polynomial<P>
impl<const P: u32> UnwindSafe for Polynomial<P>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more