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
|
-- Author: Lily Silverstein
-- Rewritten August 2018
doc ///
Key
leadMonomial
(leadMonomial, RingElement)
Headline
the leading monomial of a ring element
Usage
leadMonomial f
Inputs
f:RingElement
a polynomial
Outputs
:RingElement
the monomial, with no coefficient, of the leading term of {\tt f}
Description
Text
The leading term is with respect to the monomial ordering in the
ring. See @TO "monomial orderings"@ for details.
Example
R = ZZ/5[a,b,c]; f = a*b^2 + 3*b*c^3 + 2;
leadMonomial f
S = ZZ/5[a,b,c, MonomialOrder => Lex]; g = a*b^2 +3*b*c^3 + 2;
leadMonomial g
SeeAlso
leadComponent
leadMonomial
leadTerm
monomials
someTerms
terms
///
|
