next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
FastLinAlg
::
isDimAtMost
isDimAtMost -- returns true if we can quickly see if the dim is at most a given number
Synopsis
Usage:
isDimAtMost(n, I)
Inputs:
n
,
an
integer
, an integer
I
,
an
ideal
, an ideal in a polynomial ring over a field, or a quotient ring of such
Optional inputs
:
PairLimit => ...
,
SPairsFunction => ...
,
Verbose => ...
,
Outputs:
a
Boolean value
,
true
if the dimension of I is at most n,
null
if no determination is made.
Description
This simply calls
isCodimAtLeast
, passing options as described there.
See also
isCodimAtLeast
-- returns true if we can quickly see whether the codim is at least a given number
Ways to use
isDimAtMost
:
isDimAtMost(ZZ,Ideal)