形式的冪級数 borrowed from:https://potato167.github.io/po167_library [詳解]

関数
template<typename T>
vector< T >	Mul (const vector< T > &a, const vector< T > &b)
	多項式 f, g の積を返す

template<typename T>
vector< T >	Add (const vector< T > &a, const vector< T > &b)
	多項式 f, g の和を返す

template<typename T>
vector< T >	Sub (const vector< T > &a, const vector< T > &b)
	多項式 f, g の差を返す

template<typename T>
vector< T >	Inv (vector< T > f, int len=-1)
	多項式 f に対し、f*g = 1 なる g を返す

template<typename T>
vector< T >	CyclicConvolution (vector< T > f, vector< T > g)

template<typename T>
vector< T >	Integral (vector< T > f)
	多項式 f の積分を返す

template<typename T>
vector< T >	Differential (vector< T > f)
	多項式 f の微分を返す

template<typename T>
vector< T >	Exp (vector< T > f, int len=-1)
	多項式 f について、e^f を返す

template<typename T>
vector< T >	Log (vector< T > f, int len=-1)
	多項式 f について、log(f) を返す

template<class T>
vector< T >	Pow (vector< T > f, ll M, int len=-1)
	多項式 f^M を返す

template<typename T>
void	Extend (vector< T > &v)

template<typename T>
void	PickEvenOdd (vector< T > &v, int odd)

template<typename T>
pair< vector< T >, vector< T > >	Div (vector< T > f, vector< T > g)
	多項式 f, g について、`f = gq + r` なる q, r を返す

template<typename T>
T	BostonMori (ll k, vector< T > P, vector< T > Q)
	`[x^k](P/Q)` を返す

template<typename T>
T	KthLinear (ll k, vector< T > a, vector< T > c)

詳解

形式的冪級数 borrowed from:https://potato167.github.io/po167_library

関数詳解

◆ Mul()

template<typename T>

vector< T > FPS::Mul	(	const vector< T > &	a,
		const vector< T > &	b )

多項式 f, g の積を返す

fps.hpp の 13 行目に定義があります。

◆ Add()

template<typename T>

vector< T > FPS::Add	(	const vector< T > &	a,
		const vector< T > &	b )

多項式 f, g の和を返す

fps.hpp の 19 行目に定義があります。

◆ Sub()

template<typename T>

vector< T > FPS::Sub	(	const vector< T > &	a,
		const vector< T > &	b )

多項式 f, g の差を返す

fps.hpp の 30 行目に定義があります。

◆ Inv()

template<typename T>

vector< T > FPS::Inv	(	vector< T >	f,
		int	len = -1 )

多項式 f に対し、f*g = 1 なる g を返す

fps.hpp の 41 行目に定義があります。

◆ CyclicConvolution()

template<typename T>

vector< T > FPS::CyclicConvolution	(	vector< T >	f,
		vector< T >	g )

fps.hpp の 75 行目に定義があります。

◆ Integral()

template<typename T>

vector< T > FPS::Integral ( vector< T > f )

多項式 f の積分を返す

fps.hpp の 87 行目に定義があります。

◆ Differential()

template<typename T>

vector< T > FPS::Differential ( vector< T > f )

多項式 f の微分を返す

fps.hpp の 102 行目に定義があります。

◆ Exp()

template<typename T>

vector< T > FPS::Exp	(	vector< T >	f,
		int	len = -1 )

多項式 f について、e^f を返す

fps.hpp の 111 行目に定義があります。

◆ Log()

template<typename T>

vector< T > FPS::Log	(	vector< T >	f,
		int	len = -1 )

多項式 f について、log(f) を返す

fps.hpp の 144 行目に定義があります。

◆ Pow()

template<class T>

vector< T > FPS::Pow	(	vector< T >	f,
		ll	M,
		int	len = -1 )

多項式 f^M を返す

fps.hpp の 156 行目に定義があります。

◆ Extend()

template<typename T>

void FPS::Extend ( vector< T > & v )

fps.hpp の 190 行目に定義があります。

◆ PickEvenOdd()

template<typename T>

void FPS::PickEvenOdd	(	vector< T > &	v,
		int	odd )

fps.hpp の 206 行目に定義があります。

◆ Div()

template<typename T>

pair< vector< T >, vector< T > > FPS::Div	(	vector< T >	f,
		vector< T >	g )

多項式 f, g について、f = gq + r なる q, r を返す

fps.hpp の 232 行目に定義があります。

◆ BostonMori()

template<typename T>

T FPS::BostonMori	(	ll	k,
		vector< T >	P,
		vector< T >	Q )

[x^k](P/Q) を返す

fps.hpp の 249 行目に定義があります。

◆ KthLinear()

template<typename T>

T FPS::KthLinear	(	ll	k,
		vector< T >	a,
		vector< T >	c )

fps.hpp の 284 行目に定義があります。