reflexivePower( n, I )
This function returns the $n$-th reflexive power of $I$. By definition this is the reflexification of $I^n$, or in other words, $Hom(Hom(I^n, R), R)$.
|
|
|
|
This function is typically much faster than reflexifying $I^n$ however. We can obtain this speedup, because in a normal domain, the reflexification of $I^n$ is the same as the reflexification of the ideal generated by the $n$-th powers of the generators of $I$. Consider the example of a cone over a point on an elliptic curve.
|
|
|
|
|
|
This passes the Strategy option to a reflexify call. Valid options are IdealStrategy and ModuleStrategy.
|
|
|
|
|
The object reflexivePower is a method function with options.