phô lôc

Danh môc c¸c lÖnh th−êng dïng

Tªn lÖnh Chøc n¨ng Có ph¸p

AFactor Ph©n tÝch triÖt ®Ó mét ®a thøc (P) ra thõa sè AFactor(P)
trªn bao ®ãng ®¹i sè cña tr−êng c¸c hÖ sè.
animate VËn ®éng cña ®å thÞ trong kh«ng gian hai animate(f(x,t),
chiÒu x=a..b,t=c..d)
animate3d VËn ®éng cña ®å thÞ trong kh«ng gian 3 chiÒu animate(f(x,y,
t),x=a..b,y=
c..d,t=p..q)
array T¹o m¶ng hoÆc ma trËn array(indexfcn
,bounds,list)
basis T×m c¬ së cho mét hä vÐc t¬ basis(v1,v2,..
vn)
BesselI Hµm Bessel lo¹i 1 söa ®æi (tho¶ m·n ph−¬ng BesselI(v,x)
tr×nh x 2 y "+ xy '− ( x 2 + y 2 ) y = 0 )
BesselJ Hµm Bessel lo¹i 1 (tho¶ m·n ph−¬ng tr×nh BesselJ(v,x)
x 2 y "+ xy '+ ( x 2 − y 2 ) y = 0 )
BesselK Hµm Bessel lo¹i 2 söa ®æi BesselK(v,x)
BesselY Hµm Bessel lo¹i 2 BesselY(v,x)
Beta Hµm Bª-ta, tøc lµ hµm Beta(x,y)
Γ( x) + Γ( y )
β( x, y ) =
Γ( x + y )
Chi Hµm TÝch ph©n Cosine Hyperbolic, tøc lµ hµm Chi(x)
x
cosh(t ) −1
Chi ( x) = γ + ln( x) + ∫ dt
t
0
Ci Hµm TÝch ph©n Cosine, tøc lµ hµm Ci(x)
x
cos(t ) −1
Ci ( x) = γ + ln( x) + ∫ dt
t
0
coeff ChiÕt xuÊt hÖ sè cña ®¬n thøc x n trong ®a coeff(p,x,n)
thøc P coeff(p,x^n)
coeffs ChiÕt xuÊt c¸c hÖ sè cña ®a thøc (nhiÒu biÕn) coeffs(P),
theo ®a biÕn hoÆc theo ®¬n biÕn (x), vµ cã thÓ coeffs(P,x),
g¸n tªn cho d·y c¸c ®¬n thøc t−¬ng øng víi coeffs(P,x,t)
c¸c hÖ sè ®· chiÕt xuÊt (‘t’)
coeftayl TÝnh c¸c hÖ sè thµnh phÇn x k (x cã thÓ lµ coeftayl(expr
vect¬ vµ k còng vËy) trong khai triÓn Taylor ,x=a,k)

215
 vect¬, vµ k còng vËy) trong khai triÓn Taylor
cña biÓu thøc expr t¹i ®iÓm a
collect XÕp c¸c sè h¹ng cña ®a thøc vµo c¸c nhãm collect(a,x)
theo lòy thõa cña biÕn x
comparray So s¸nh c¸c m¶ng A vµ B comparray(A,B)
compoly X¸c ®Þnh (ph¸t hiÖn) ®a thøc hîp, tøc lµ t×m compoly(r)
c¸c cÆp ®a thøc p,q (nÕu cã) ®Ó r = p (q (.))
conjugate LÊy liªn hîp (phøc) cña 1 biÓu thøc conjugate(expr)
content LÊy content cña ®a thøc theo biÕn x, tøc lµ content(a,x)
−íc sè chung lín nhÊt cña c¸c hÖ sè theo biÕn
x
convert ChuyÓn biÓu thøc (expr) vÒ d¹ng (form) ®· convert(expr,fo
cho rm)
cos Hµm l−îng gi¸c Cosine cos(x)
cosh Hµm l−îng gi¸c Hyperbolic Cosine cosh(x)
cost TÝnh sè l−îng c¸c phÐp tÝnh trong mét biÓu cost(a)
thøc
cot Hµm l−îng gi¸c Cotan cot(x)
coth Hµm l−îng gi¸c Hyperbolic Cotan coth(x)
crossprod TÝnh tÝch vector.TÝch vector cña hai vector crossprod(u,v)
csc Hµm Cosec csc(x)
csch Hµm Cosec Hyperbolic csch(x)
csgn Hµm dÊu cña biÓu thøc sè phøc csgn(a)
curl TÝnh rota cña vÐc t¬ v curl(v)
D, D[i] To¸n tö ®¹o hµm (cña hµm 1 biÕn) vµ ®¹o hµm D(f),
theo biÕn thø i (cña hµm nhiÒu biÕn D[i](f)
dawson x dawson(x)
−x2 2
TÝch ph©n Dawson( x) = e ∫ et dt
0
degree BËc cña ®a thøc degree(a,x)
denom LÊy mÉu sè (cña mét ph©n thøc) denom(e)
depends X¸c ®Þnh tÝch ph©n phô thuéc cña f vµo depends(f,x)
(c¸c) biÕn x
DESol TËp nghiÖm cña ph−¬ng tr×nh vi ph©n (gi¶i DESol(expr,y)
theo y)
DEplot VÏ ®å thÞ nghiÖm ph−¬ng tr×nh hoÆc hÖ DEplot(deqns,
ph−¬ng tr×nh vi ph©n vars,range,
inits,eqns)
DEplot3d VÏ ®å thÞ nghiÖm ph−¬ng tr×nh hoÆc hÖ DEplot3d(deqns,va
ph−¬ng tr×nh vi ph©n trong kh«ng gian 3 rs,range,
chiÒu initset,options)
det TÝnh ®Þnh thøc cña ma trËn vu«ng A det(A)
Diff LÊy ®¹o hµm hoÆc ®¹o hµm riªng “lÖnh tr¬” Diff(f,x1,...,

216
 xn)
diff LÊy ®¹o hµm hoÆc ®¹o hµm riªng cña hµm sè diff(a,x,y..)
a, bËc 1 hoÆc bËc cao diff(a,x$m,y$n
..)
dilog x dilog(x)
ln(t )
Hµm Dilogarit dilog ( x) = ∫ dt
1− t
1
Dirac Hµm Delta Dirac, tøc lµ hµm b»ng 0 ë kh¾p Dirac(t)
n¬i, trõ t¹i gèc vµ cã tÝch ph©n b»ng 1. Dirac(n,t)
§¹o hµm cÊp n cña hµm Delta Dirac
discont T×m nh÷ng ®iÓm gi¸n ®o¹n cña hµm sè thùc discont(f,x)
discrim TÝnh discriminant cña ®a thøc discrim(p,x)
dismantle Cho xem cÊu tróc d÷ liÖu cña biÓu thøc (expr) dismantle(exp
r)
Divide KiÓm tra tÝnh chia hÕt cña ®a thøc a (nhiÒu Divide(a,b,'q')
biÕn) cho ®a thøc b (nhiÒu biÕn) vµ nÕu ®óng
th× cã thÓ cho biÕt th−¬ng 'q' .
divide KiÓm tra tÝnh chia hÕt cña 2 ®a thøc (vµ cho biÕt divide(a,b,’q’)
th−¬ng nÕu cÇn)
dotprod TÝnh tÝch v« h−íng cña 2 vector u,v, nÕu cã dotprod(u,v,’
biÕn orthogonal th× tÝch v« h−íng ®−îc tÝnh orthogonal’)
nh− tæng cña c¸c tÝch u[i]*v[i]
dsolve Gi¶i ph−¬ng tr×nh vi ph©n (víi c¸c kh¶ n¨ng dsolve(deqns,va
vµ ph−¬ng ph¸p kh¸c nhau Ên ®Þnh bëi rs),
keyword) dsolve(deqns,va
rs,keyword)
Ei Hµm tÝch ph©n mò, tøc lµ Ei(n,x)
+∞
Ei (n, x) = ∫ e− xt t −n dt = x n−1Γ(1 − n, x)
−∞
Eigenvals TÝnh gi¸ trÞ riªng vµ vect¬ riªng cña ma trËn Eigenvals(A,vecs)
sè. TÝnh gi¸ trÞ riªng vµ vect¬ riªng theo nghÜa Eigenvals(A,B
suy réng, nghÜa lµ t×m c¸c gi¸ trÞ L vµ c¸c vec ,vecs)
t¬ X sao cho AX=LBX
eigenvals TÝnh gi¸ trÞ riªng vµ vÐc t¬ riªng cña ma trËn eigenvals(A,vecs)
sè eigenvals(A,B,vec
s)
eigenvects TÝnh vector riªng cña ma trËn A eigenvects(A)
eliminate ChuyÓn hÖ ph−¬ng tr×nh nhiÒu biÕn vÒ mét hÖ eliminate(eqns
t−¬ng ®−¬ng theo ph−¬ng tr×nh khö biÕn sè et,vars)
(hay cßn gäi lµ ph−¬ng tr×nh thÕ)
ellipsoid LÖnh tÝnh diÖn tÝch cña mÆt ellipsoid khi biÕt ellipsoid(a,b
3 trôc cña nã. ,c)

217
EllipticC Hµm tÝch ph©n Elliptic ®Çy ®ñ, tøc lµ := EllipticCE(k)
E
EllipticE (1, 1 − k 2 )
EllipticCK Hµm tÝch ph©n x¸c ®Þnh bëi := EllipticCK(k)
EllipticF (1, 1 − k 2 )
EllipticE TÝch ph©n Elliptic kh«ng ®Çy ®ñ, tøc lµ := EllipticE(z,k)
z
1 − k 2t 2
∫ dt
01− t 2
EllipticCP Hµm tÝch ph©n x¸c ®Þnh bëi EllipticCPi(v
i 2 ,k)
EllipticPi (1, v, 1 − k )
EllipticF TÝch ph©n Elliptic kh«ng ®Çy ®ñ lo¹i 1, tøc lµ := EllipticF(z,k)
z
dt
∫
1− k t 1− t 2
0
2 2

EllipticK Hµm tÝch ph©n x¸c ®Þnh := EllipticF (1, k ) EllipticK(k)

EllipticPi Hµm tÝch ph©n := EllipticPi(z,v
z ,k)
dt
∫
0 (1 − vt ) 1 − t 2 1 − k 2t 2
2

entries LÖnh nµy th−êng ®i cïng cÆp víi lÖnh indices entries(t)
vµ cã tr¸ch nhiÖm chØ ra gi¸ trÞ t−¬ng øng víi
c¸c index (trong mét m¶ng)
equal So s¸nh hai ma trËn cã b»ng nhau hay equal(A,B)
kh«ng(tøc lµ so s¸nh xem c¸c phÇn tö t−¬ng
øng cã b»ng nhau hay kh«ng)
erf x erf(x)
2 2
Hµm sai sè erf ( x) = ∫ e−t dt
π 0
erfc Hµm bï sai sè erfc( x) = 1 − erf ( x) erfc(x)
eulermac XÊp xØ tiÖm cËn Euler – Maclaurin cña eulermac(exps
Sum(expr,x). NghÜa lµ nÕu ,x)
F(x) = elermac(f(x),x) th× F(x+1)–F(x) lµ
t−¬ng ®−¬ng tiÖm cËn víi f(x)
Eval §¸nh gi¸ (tÝnh gi¸ trÞ) cña mét ®a thøc t¹i 1 Eval(a,x=n)
®iÓm
eval §¸nh gi¸ (tÝnh gi¸ trÞ) cña biÓu thøc (x) eval(x)
evala §¸nh gi¸ (tÝnh gi¸ trÞ) ®¹i sè cña biÓu thøc ®¹i evala(expr)
sè
evalb TÝnh gi¸ trÞ Boole cña biÓu thøc logic evalb(x)
evalc TÝnh gi¸ trÞ cña biÓu thøc phøc, tøc lµ ®−a nã evalc(expr)
vÒ d¹ng expr1 + I * expr 2
evalf TÝnh gi¸ trÞ thËp ph©n cña biÓu thøc (víi ®é evalf(x),
hÝ h ¸ ®Õ h è)

218
 chÝnh x¸c ®Õn n ch÷ sè) evalf(x,n)
evalm TÝnh gi¸ trÞ cña biÓu thøc ma trËn evalm(expr)
exp Hµm sè mò exp( x) := e x exp(x)
Expand Khai triÓn (biÓu thøc) Expand(a)
expand Khai triÓn biÓu thøc expr (nh−ng kh«ng khai expand(expr,exp
triÓn c¸c biÓu thøc con expr 1,..., expr n ë r1,...,exprn)
trong expr
Factor Ph©n tÝch mét ®a thøc (nhiÒu biÕn) ra thõa sè Factor(a,K)
trªn tr−êng më réng ®¹i sè K
factor Ph©n tÝch biÓu thøc (®¹i sè ) ra thõa sè factor(a)
Factors T−¬ng tù lÖnh trªn, nh−ng cho kÕt qu¶ d−íi Factors(a,K)
d¹ng d÷ liÖu [u,[[f1,e1],...,[fn,en]]], trong ®ã u
lµ hÖ sè ®Çu, fi lµ c¸c ®a thøc nguyªn thuû bÊt
kh¶ quy, ei lµ béi t−¬ng øng
factors Ph©n tÝch ®a thøc nhiÒu biÕn ra thõa sè factors(a)
FFT BiÕn ®æi Fourier nhanh ®èi víi mét liÖt sè FFT(m,x,y)
phøc cã ®é dµi 2m, víi d·y phÇn thùc lµ x vµ
d·y phÇn ¶o lµ y)
frac LÊy phÇn thËp ph©n cña sè x frac(x)
Frobenius T×m d¹ng Frobenius cña ma trËn (A) Frobenius(A)
fsolve Gi¶i ph−¬ng tr×nh t×m nghiÖm d−íi d¹ng sè fsolve(eqns,va
thËp ph©n (kÓ c¶ nghiÖm phøc). rs,opitions)
galois TÝnh nhãm Galoa cña 1 ®a thøc bÊt kh¶ quy 1 galois(f)
biÕn (bËc 7 trë xuèng)
GAMMA Hµm x¸c ®Þnh theo c«ng thøc GAMMA(z)
∞
Γ( z ) := ∫ e−t t ( z−1) dt víi z ë nöa bªn ph¶i
0
mÆt ph¼ng phøc, vµ ®−îc th¸c triÓn gi¶i tÝch
sang nöa mÆt ph¼ng tr¸i.
GaussAGM LÊy trung b×nh Gauss cña 2 sè (a vµ b), tøc lµ GaussAGM(a,b)
lÊy giíi h¹n cña qu¸ tr×nh
lÆp a0 = a, b0 = b ,
an + bn an bn
an+1 = , bn+1 = (an + bn ) .
2 (an + bn )2
(Sè nµy lu«n n»m gi÷a trung b×nh céng vµ
trung b×nh nh©n cña a vµ b).
Gaussejor §−a ma trËn vÒ d¹ng Gauss-Jordan b»ng Gaussejordan(A)
dan phÐp khö Gauss-Jordan.

219
Gausselim §−a ma trËn vÒ d¹ng tam gi¸c b»ng phÐp khö Gausselim(A)
Gauss.
Gcd T×m −íc sè chung lín nhÊt cña 2 ®a thøc (a vµ Gcd(a,b,'s','t')
b) vµ cho biÕt th−¬ng cña chóng ®èi víi −íc
chung nµy (nÕu cÇn)
gcd T×m −íc sè chung lín nhÊt cña c¸c ®a thøc gcd(a,b)
Gcdex Dïng thuËt to¸n Euclid më réng ®Ó t×m −íc sè Gcdex(a,b,x,'s',
chung lín nhÊt víi hÖ sè ®Çu (theo biÕn x) b»ng 't')
®¬n vÞ cña 2 ®a thøc a vµ b vµ ®ång thêi cho
biÕt c¸c ®a thøc s (cã bËc nhá h¬n bËc cña b)
vµ t (cã bËc nhá h¬n bËc cña a) tho¶ m·n as
+ bt = g, nÕu cÇn.
gcdex Sö dông thuËt to¸n Euclid suy réng ®Ó t×m gcdex(A,B,x,
gcd(a,b) vµ c¸c ®a thøc s vµ t sao cho ’s’,'t’)
s * A + t * B = g trong ®ã g lµ −íc sè chung
lín nhÊt cña 2 ®a thøc (theo mét biÕn x) A,B,
vµ bËc cña s nhá h¬n bËc cña B, bËc cña t nhá
h¬n bËc cña A.
genematrix LËp ma trËn tõ c¸c hÖ sè cña ph−¬ng tr×nh. NÕu genematrix(eqn
cã biÕn thø ba ‘flag’ th× vector vÕ ph¶i ®−îc s,vars,flag)
®−a vµo cét cuèi cña ma trËn
geneqns LËp ph−¬ng tr×nh trËn tõ c¸c hÖ sè cña ma trËn. geneqns(A,x,b)
NÕu cã biÕn thø 3 biÓu thÞ vector’b’ th× nã sÏ
®−a vµo vÕ ph¶i cña ph−¬ng tr×nh
genpoly Sinh mét ®a thøc a( x) trªn Z [ x] víi c¸c hÖ sè genpoly(n,b,x)
b
nhá h¬n sao cho a(b) = n, khi n lµ mét sè
2
nguyªn. Khi n lµ mét ®a thøc theo mét biÕn
kh¸c (y) víi hÖ sè nguyªn th× mçi hÖ sè cña ®a
thøc nµy sÏ sinh mét ®a thøc (theo x) víi
nguyªn t¾c trªn.
grad TÝnh ®¹o hµm cña hµm nhiÒu biÕn grad(f,[x,y,z
])
GramSchmi T×m c¬ së trùc chuÈn cña kh«ng gian sinh bëi GramSchmidt(
dt mét hä c¸c vÐc t¬ u1,u2,...,un)
HankelH1 Hµm sè Hankel, ®−îc ®Þnh nghÜa := BesselJ(v,x) HankelH1(v,x)
+ I.BesselY(v,x).
HankelH2 Hµm sè Hankel, ®−îc ®Þnh nghÜa := BesselJ(v,x) HankelH2(v,x)
- I.BesselY(v,x).
harmonic Hµm ®iÒu hoµ (tøc lµ hµm ψ ( x + 1) + γ , mµ harmonic(x)
x = n lµ sè nguyªn th× ta cã

220
 n
1
ψ (n + 1) + γ = ∑
i=1 i
has KiÓm tra xem trong biÓu thøc f cã thµnh has(f,x)
phÇn x hay kh«ng.
hasfun KiÓm tra xem trong biÓu thøc e cã hµm f hasfun(e,f)
kh«ng.
Heaviside Lµ mét nguyªn hµm cña hµm Dirac, nhËn gi¸ Heaviside(x)
trÞ 0 trªn nöa trôc sè ©m vµ nhËn gi¸ trÞ 1 trªn
nöa trôc sè d−¬ng (kh«ng x¸c ®Þnh t¹i gèc).
Hermite T×m d¹ng chuÈn t¾c Hermite cña ma trËn Hermite(A,x)
hessian TÝnh hessian cña hµm f hessian(f,[x,y
,z])
icontent T×m −íc sè chung lín nhÊt cña c¸c hÖ sè cña icontent(expr
®a thøc
iFFT BiÕn ®æi Fourier ng−îc cña c¸c d·y sè x, y iFFT(m,x,y)
cïng cã ®é dµi 2m
ifactor Ph©n tÝch sè nguyªn ra thõa sè nguyªn tè ifactor(n)
igcd ¦íc chung lín nhÊt cña c¸c sè nguyªn igcd(x1,x2,...)
igcdex Dïng thuËt to¸n Euclid t×m 2 sè s,t tho¶ ®iÒu igcdex(a,b,’s
kiÖn sa + tb = gcd( a, b) ’,’t’)
ilcm Béi sè chung nhá nhÊt cña c¸c sè nguyªn ilcm(x1,x2,...
)
ilog TÝnh L«garit nguyªn c¬ sè b cña x , tøc lµ t×m ilog[b](x)
sè nguyªn r sao cho b r ≤ x < b r +1
ilog10 TÝnh sè l«garit nguyªn c¬ sè 10 cña x ilog10(x)
Im PhÇn ¶o cña mét biÓu thøc phøc x Im(x)
implicitd LÊy ®¹o hµm cña hµm Èn x¸c ®Þnh bëi ph−¬ng implicitdiff(f
iff tr×nh, hoÆc hÖ ph−¬ng tr×nh. Trong tr−êng hîp ,x,y)
sau nµy ta thu ®−îc tËp hµm sè implicitdiff({
{ y1 , y2 ,..., yn } vµ ta cã thÓ lÊy ®¹o hµm chØ cña f1,...fm},{y1,
mét nhãm trong sè hµm nµy (thÝ dô lµ ...yn},{u1,...
{u1 , u2 ,..., ur } ) theo {x1 , x2 ,..., xk } ) ur},x1,...xk})
implicitp VÏ ®å thÞ hµm Èn implicitplot(
lot f(x,y),x=a..b
, y=c..d)
indets T×m c¸c biÕn kh«ng x¸c ®Þnh (tù do) cña 1 indets(expr)
biÓu thøc
indices LÖnh thèng kª tËp c¸c chØ sè cña b¶ng (m¶ng) indices(t)
innerprod TÝnh tÝch trong cña mét d·y c¸c ma trËn vµ innerprod(A,B
vector ),innerprod(u
,v)

221
Int LÊy tÝch ph©n(bÊt ®Þnh hoÆc x¸c ®Þnh) cña Int(f,x)
hµm sè, nh−ng kh«ng hiÓn thÞ c«ng thøc (lÖnh Int(f,x=a..b)
tr¬)
int LÊy tÝch ph©n (bÊt ®Þnh hoÆc x¸c ®Þnh) cña int(f,x)
hµm sè int(f,x=a..b)
Interp Néi suy ®a thøc, tøc lµ ®−a ra ®a thøc (biÕn x) Interp(a,b,x)
nhËn c¸c gi¸ trÞ lµ c¸c thµnh phÇn cña vect¬ b
trªn tËp c¸c ®iÓm lµ thµnh phÇn cña vect¬ b.
interp Néi suy ®a thøc vµ ®Æt tªn cho biÕn cña nã lµ interp(x,y,v)
v
Inverse TÝnh ma trËn ng−îc cña ma trËn A theo Inverse(A)mod
modulo n n
inverse TÝnh ma trËn ng−îc cña ma trËn vu«ng A inverse(A)
invfunc LÊy hµm ng−îc cña mét hµm f invfunc[f]
invztrans LÊy ng−îc cña biÕn ®æi Z cña hµm f(z) ®èi invztrans(f,z
víi n ,n)
iquo T×m th−¬ng nguyªn (cña 2 sè nguyªn) vµ cho iquo(m,n)
biÕt sè d− r khi cÇn iquo(m,n,’r’)
irem T×m phÇn d− trong phÐp chia 2 sè nguyªn vµ irem(m,n)
cho biÕt th−¬ng khi cÇn irem(m,n,’q’)
iroot T×m xÊp xØ nguyªn cho c¨n bËc n cña x iroot(x,n)
Irreduc KiÓm tra tÝnh bÊt kh¶ quy cña mét ®a thøc Irreduc(a)
nhiÒu biÕn (a)
irreduc KiÓm tra tÝnh bÊt kh¶ quy cña mét ®a thøc irreduc(a)
iscont KiÓm tra tÝnh liªn tôc cña hµm trªn kho¶ng iscont(expr,x
( a, b) =a..b)
isdiffere KiÓm tra tÝnh kh¶ vi vµ ®é tr¬n cña mét hµm isdifferentiabl
ntiable sè vµ trong tr−êng hîp nã kh«ng thuéc C ( n ) e(expr,vars,cla
th× tham sè ‘d ’ cho biÕt nã thuéc líp C ( k ) ss)
nµo vµ nh÷ng ®iÓm t¹i ®ã kh«ng cã ®¹o hµm isdifferentiabl
cÊp ( k + 1 ). e(expr,vars,cla
ss, ’d’)
isolate Gi¶i ph−¬ng tr×nh eqn theo biÓu thøc expr isolate(eqn,ex
pr)
ispoly KiÓm tra ®Æc tÝnh ®a thøc f (lo¹i g× ? bËc nµo ispoly(f,kind
? gi¸ trÞ cña tõng hÖ sè ?) ,x)
isqrt T×m xÊp xØ nguyªn cho c¨n bËc 2 cña sè tù isqrt(n)
nhiªn n
Issimilar KiÓm tra tÝnh ®ång d¹ng cña 2 ma trËn A vµ B Issimilar(A,B)
issqr KiÓm tra xem mét sè cã ph¶i lµ chÝnh ph−¬ng issqr(n)
(b×nh ph−¬ng cña mét sè kh¸c) hay kh«ng ?
jacobian TÝnh ®¹o hµm cña mét vÐc t¬ jacobian(v,[x

222
 , y, z])
Lcm T×m béi sè chung nhá nhÊt cña c¸c ®a thøc Lcm(a,b,...)
lcm T×m béi sè chung nhá nhÊt cña c¸c ®a thøc lcm(a,b,...)
h÷u tû
lcoeff T×m hÖ sè ®Çu cña ®a thøc (nhiÒu biÕn) lcoeff(p)
LegendreE Hµm Legendre, còng chÝnh lµ hµm EllipticE LegendreE(k,z)
®· nãi ë trªn (theo tªn gäi míi). (T−¬ng tù
nh− vËy ®èi víi c¸c hµm Legendre kh¸c nh− :
LegendreF, LegendrePi, ...)
lhs LÊy vÕ tr¸i cña ph−¬ng tr×nh (hoÆc biÓu thøc cã lhs(expr)
2 vÕ hay 2 phÇn)
Li Hµm tÝch ph©n L«garit, tøc lµ hµm := Ei(ln(x)) Li(x)
x
dt
:= pv − ∫ , trong ®ã pv lµ gi¸ trÞ chÝnh
ln(t )
0
Gauss
Limit TÝnh giíi h¹n, hoÆc giíi h¹n theo h−íng ’lÖnh Limit(f,x=a)
tr¬’ Limit(f,x = a
,direct)
limit T×m giíi h¹n, hoÆc giíi h¹n theo h−íng limit(f,x=a)
limit(f,x=a,
direct)
linsolve Gi¶i ph−¬ng tr×nh ®¹i sè tuyÕn tÝnh Ax = u linsolve(A,u)
ln LÊy L«garit c¬ sè tù nhiªn (e) ln(x)
lnGAMMA LÊy L«garit c¬ sè tù nhiªn cña hµm Gamma, lnGAMMA(x)
tøc lµ ln(Γ( x))
log Hµm L«garit tæng qu¸t, c¬ sè b d−¬ng ≠ 1 log[b](a)
bÊt kú
log10 L«garit c¬ sè 10 log10(x)
lprint ChuyÓn biÓu thøc (c«ng thøc) vÒ d¹ng text 1 lprint(g)
chiÒu
map Thùc hiÖn mét phÐp to¸n trªn nhiÒu thµnh map(f,expr,arg
phÇn 1,arg2,..)
matrix LËp ma tr©n cÊp mxn, hoÆc t¹o lËp ma tr©n matrix(m,n)
mxn tõ b¶ng L matrix(m,n,L)
max T×m ®¹i l−îng lín nhÊt trong c¸c ®¹i l−îng max(x1,x2,...)
( x1 , x2 ,... )
maximize T×m gi¸ trÞ lín nhÊt cña biÒu thøc expr, theo maximize(expr
c¸c biÕn vars, trªn c¸c miÒn ranges ,vars,ranges)
maxnorm TÝnh chuÈn ‘max’ cña ®a thøc, tøc lµ tÝnh hÖ maxnorm(a)

223
 sè cã trÞ tuyÖt ®èi lín nhÊt trong sè c¸c hÖ sè
cña ®a thøc.
member KiÓm tra xem thµnh phÇn x cã trong danh member(x,s)
môc s hay kh«ng
min LÊy ®¹i l−îng nhá nhÊt trong c¸c ®¹i l−îng min(x1,x2,...)
( x1 , x2 ,... )
minimize TÝnh gi¸ trÞ nhá nhÊt cña biÓu thøc minimize(expr
,vars,ranges)
minpoly T×m ®a thøc bËc kh«ng qu¸ n, víi hÖ sè minpoly(r,n)
nguyªn nhá nhÊt vµ nhËn xÊp xØ r cña mét sè
®¹i sè lµm nghiÖm cña nã
modp TÝnh modulo m (t×m ®ång d−) cña biÓu thøc e, modp(e,m)
sö dông biÓu diÔn d−¬ng
modp1 TÝnh to¸n modulo m cho ®a thøc 1 biÕn e (b»ng modp1(e,m)
mét thuËt to¸n riªng cã hiÖu qu¶ ®Æc biÖt cho
tr−êng hîp ®a thøc mét biÕn)
modp2 TÝnh modulo m cho ®a thøc 2 biÕn (b»ng mét modp2(e,m)
thuËt to¸n ®Æc thï cho ®a thøc 2 biÕn)
mods TÝnh modulo m sö dông biÓu diÔn ®èi xøng mods(e,m)
Normal T×m d¹ng chÝnh t¾c (cña mét ph©n thøc) Normal(a)
msolve Gi¶i ph−¬ng tr×nh trªn mod p msolve(eqns,var
s,p)
mtaylor TÝnh khai triÓn Taylor nhiÒu biÕn cña f theo mtaylor(f,V,n)
v bËc n
mul LÊy tÝch cña mét d·y sè mul(f,i=m..n)
Nullspace T×m c¬ së cña nh©n (Kernel) cña to¸n tö ( ma Nullspace(A)
trËn) mod p mod p
nullspace T×m c¬ së cña nh©n (Kernel) cña to¸n tö ( ma nullspace(A)
trËn)
multiply Nh©n 2 ma tr©n, 2 vector hoÆc nh©n ma trËn multiply(A,B)
víi vec tor multiply(A,v)
multiply(u,v)
nextprime T×m sè nguyªn tè ngay sau sè ®· cho nextprime(x)
nops Tr¶ l¹i sè l−îng c¸c thµnh phÇn cña mét nops(exps)
biÓu thøc
norm TÝnh chuÈn bËc n cña biÓu thøc a theo biÕn norm(a,n,v)
1
n
v tøc lµ b»ng (∑ c ) n , trong ®ã tæng ®−îc
lÊy theo tÊt c¶ c¸c hÖ sè c cña a.
normal §−a mét biÓu thøc ( f ) vÒ d¹ng chuÈn ho¸ normal(f)

224
numboccur TÝnh sè lÇn xuÊt hiÖn cña biÓu thøc (e) trong numboccur(f,e)
biÓu thøc f
numer LÊy tö sè cña mét ph©n thøc (e) numer(e)
op TrÝch ra mét sè thµnh phÇn cña biÓu thøc op(i, exps)
order LÊy bËc cña thµnh phÇn d− trong biÓu thøc order(expr)
d¹ng chuçi
parse Ph©n tÝch c©u, ph©n tÝch x©u ký tù,... parse
pdesolve Gi¶i ph−¬ng tr×nh ®¹o hµm riªng pdesolve(eqns
,vars)
PDEplot VÏ ®å thÞ nghiÖm cña ph−¬ng (hoÆc hÖ) tr×nh PDEplot(eqns,
®¹o hµm riªng var,i_curve,
range,options)
piecewise ThiÕt lËp hµm tõng khóc: trªn vïng dk1 th× piecewise(dk1
nhËn gi¸ trÞ lµ hµm f1,..., trªn vïng dkn nhËn ,f1,dk2,f2,..
hµm fn, cßn l¹i nhËn gi¸ trÞ lµ hµm f .,dkn,fn,f)
plot VÏ ®å thÞ trong kh«ng gian 2 chiÒu cña hµm plot(f,x=a..b
sè 1 biÕn y = f ( x) trong miÒn h×nh ch÷ nhËt ,y=c..d)
[a, b]×[c, d ]
plot3d VÏ ®å thÞ trong kh«ng gian 3 chiÒu cña c¸c plot3d(expr,x
mÆt 2 chiÒu =a..b,y=c..d)
pochhamme Hµm sè x¸c ®Þnh bëi c«ng thøc pochhammer(z,
r Γ( z + a ) a)
Pochhammer( z , a ) =
Γ( z )
poisson Khai triÓn hµm (nhiÒu biÕn) thµnh chuçi poisson(f,v,n)
poisson theo biÕn v, bËc n,...
polar BiÓu diÔn sè phøc d−íi d¹ng to¹ ®é cùc polar(z)
polarplot VÏ ®å thÞ d¹ng to¹ ®é cùc polarplot(L,o
ptions);
polylog Hµm sè L«garit béi, tøc lµ th¸c triÓn gi¶i tÝch polylog(a,z)
∞ n
z
cña hµm ∑ a khi z < 1
n=1 n
Power Lòy thõa (bËc n) cña mét ®a thøc (a) mod p Power(a,n)mod
p
power Luü thõa bËc n cña mét ®a thøc (a) power(a,n)
Powmod TÝnh ®ång d− (theo modul p) cña lòy thõa Powemod(a,n,p)
(bËc n) cña mét ®a thøc (a). (PhÐp tÝnh nµy
sö dông mét thuËt to¸n kh¸c, h÷u hiÖu h¬n
h¼n, so víi thñ tôc th«ng th−êng lµ tÝnh ®ång
d− sau khi ®· thùc hiÖn xong c«ng ®o¹n tÝnh
lòy thõa)

225
powmod TÝnh modulo b(x) cña biÓu thøc [a ( x)]n powmod(a,n,b,
x)
prevprime T×m sè nguyªn tè lín nhÊt bÐ h¬n sè ®· cho prevprime(n)
Primitive KiÓm tra tÝnh nguyªn thuû cña mét ®a thøc Primitive(a)
primpart PhÇn nguyªn thuû (cña ®a thøc) primpart(a,x)
product TÝch cña c¸c sè (hoÆc biÓu thøc) product(f,k=n.
.m)
psqrt T×m c¨n bËc 2 cña biÓu thøc a nÕu a lµ chÝnh psqrt(a)
ph−¬ng, ng−îc l¹i th× cho kÕt qu¶ lµ kh«ng cã
c¨n
quo T×m th−¬ng trong phÐp chia cña 2 ®a thøc a quo(a,b,x,’r’)
cho b vµ cho biÕt phÇn d− ‘r’ nÕu cÇn
randpoly Sinh ®a thøc mét c¸ch ngÉu nhiªn randpoly(x)
rank TÝnh h¹ng cña ma trËn A rank(A)
rationaliz Trôc c¨n thøc ë mÉu rationalize(ex
e pr)
realroot Cho biÕt c¸c kho¶ng (víi bÒ réng = width) cã realroot(poly
chøa nghiÖm thùc cña ®a thøc poly ,width)
recipoly KiÓm tra xem ®a thøc cã tÝnh chÊt “®èi träng” recipoly(a,x)
hay kh«ng, tøc lµ c¸c hÖ sè ®èi xøng nhau qua
®¬n thøc gi÷a
rem TÝnh phÇn d− trong phÐp chia cña 2 ®a thøc vµ rem(a,b,x,’q’)
cho biÕt th−¬ng q nÕu cÇn
residue TÝnh hÖ sè cña thµnh phÇn ( x − a )−1 trong residue(f,x=a)
khai triÓn Laurent cña f t¹i x = a
rhs LÊy vÕ ph¶i cña biÓu thøc (cã 2 vÕ). rhs(expr)
root Khai c¨n bËc n cña biÓu thøc (x). LÖnh nµy root(x,n)
cho ta “gi¸ trÞ chÝnh” trong sè n gi¸ trÞ cña c¨n
(tøc lµ gi¸ trÞ ®Çu tiªn kÓ tõ trôc sè thùc d−¬ng
theo chiÒu ng−îc kim ®ång hå).
roots TÝnh tÊt c¶ c¸c nghiÖm cña mét ®a thøc (a) roots(a)
theo biÕn x
round Hµm lµm trßn sè (b»ng c¸ch lÊy sè nguyªn round(x)
gÇn nã nhÊt)
rsolve Gi¶i ph−¬ng tr×nh truy håi rsolve(eqns,fc
ns)
sec Hµm sè l−îng gi¸c Sec(x) sec(x)
sech Hµm sè Sec Hyperbolic sech(x)
seq T¹o mét liÖt tõ c¸c gi¸ trÞ cña hµm sè f seq(f,i=m..n)

226
series Khai triÓn biÓu thøc expr thµnh chuçi t¹i xung series(expr,x
quanh ®iÓm a =a)
sign Hµm sè x¸c ®Þnh dÊu cña hÖ sè ®Çu trong biÓu sign(a)
thøc
signum Hµm dÊu cña mét ®¹i l−îng signum(z)
simplify §¬n gi¶n biÓu thøc simplify(expr)
sin Hµm sè l−îng gi¸c Sin(x) sin(x)
singular T×m c¸c ®iÓm kú dÞ cña biÓu thøc. NÕu biÓu singular(expr
thøc phô thuéc 1 biÕn th× kÕt qu¶ cho ta c¸c ,vars)
®iÓm kú dÞ. NÕu biÓu thøc phô thuéc 2 biÕn
th× kÕt qu¶ cho ra lµ c¸c hµm (vect¬ 2 chiÒu)
biÓu diÔn tËp ®iÓm kú dÞ.
sinh Hµm l−îng gi¸c Hyperbolic Sin sinh(x)
sinterp Néi suy ®a thøc th−a sinterp
solve Gi¶i ph−¬ng tr×nh hoÆc hÖ ph−¬ng tr×nh solve(eqns1(x),
eqns2(y),{x,y})
sort S¾p xÕp c¸c sè h¹ng, s¾p xÕp mét biÓuthøc, sort(exps,var
s¾p xÕp mét danh s¸ch s,tdeg)
spline TÝnh ®a thøc tõng khóc (spline) x¸c ®Þnh bëi spline(X,Y,z,
c¸c gi¸ trÞ X, Y cho tr−íc, cã bËc lµ d vµ biÕn z d)
split Ph©n tÝch hoµn toµn ®a thøc ra c¸c ®a thøc bËc split
nhÊt
splits T−¬ng tù nh− trªn splits
sqrt Hµm c¨n bËc 2 sqrt(a)
subs Thay thÕ x (trong biÓu thøc expr) bëi biÓu subs(x=a,expr)
thøc a
substring TrÝch mét x©u ký tù tõ mét x©u ký tù cho substring(str
tr−íc ing,a..b)
sum LÊy tæng c¸c sè h¹ng sum(f,k)
sum(f,k=n..m)
surd LÊy gi¸ trÞ c¨n bËc n cña x, nh−ng kh«ng ph¶i surd(x,n)
lµ gi¸ trÞ chÝnh, mµ lµ gi¸ trÞ cã argument gÇn
víi argument cña x nhÊt
symmdiff HiÖu ®èi xøng gi÷a 2 tËp A vµ B symmdiff(A,B)
tan Hµm l−îng gi¸c tg(x) tan(x)
tanh Hµm l−îng gi¸c Hyperbolic tanh(x)
thiele Hµm néi suy ph©n thøc thiele(x,y,v)
trunc Hµm lµm trßn mét sè vÒ víi sè nguyªn kÒ nã trunc(x)
(theo h−íng vÒ sè 0)

227
type KiÓm tra biÓu thøc xem cã cÊu tróc kiÓu type(typename)
“typename”(cÊu tróc lµ +, - *,/,^)
unapply X¸c ®Þnh hµm sè (tõ biÓu thøc vµ c¸c biÕn) unapply(expr,
x,y,...)
value TÝnh gi¸ trÞ (cña mét biÓu thøc tr¬ f ) value(f)
vectlap TÝnh vÐc t¬ laplacian cña vÐc t¬ v vectlap(v,[x,
y,z])
vector LÖnh t¹o vÐc t¬ vector(list)
whattype Cho biÕt cÊu tróc cña mét biÓu thøc whattype(exps)
with X¸c ®Þnh tªn hµm gäi ra tõ Library Package with(package)

228