Top
Back: ChowRing
Forward: projectiveSpace
FastBack: tasks_lib
FastForward: symodstd_lib
Up: schubert_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.23.6 Grassmannian

Procedure from library schubert.lib (see schubert_lib).

Usage:
Grassmannian(k,n); k int, n int

Return:
variety

Theory:
create a Grassmannian G(k,n) as an abstract variety. This abstract variety has diemnsion k(n-k) and its Chow ring is the quotient ring of a polynomial ring in n-k variables q(1),...,q(n-k), which are the Chern classes of tautological quotient bundle on G(k,n), modulo some ideal generated by n-k polynomials which come from the Giambelli formula. The monomial ordering of this Chow ring is 'wp' with vector (1..k,1..n-k). Moreover, we export the Chern characters of tautological subbundle and quotient bundle on G(k,n)
(say 'subBundle' and 'quotientBundle').

Example:
 
See also: projectiveBundle; projectiveSpace.


Top Back: ChowRing Forward: projectiveSpace FastBack: tasks_lib FastForward: symodstd_lib Up: schubert_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-7, Aug 2013, generated by texi2html.