Ticket #1952: trac_1952-tutfix.patch

File trac_1952-tutfix.patch, 1.6 kB (added by malb, 4 months ago)

  • a/tut/tut.tex

    old new  
    21862186[ 
    21872187Closed subscheme of Affine Space of dimension 2 over Rational Field defined  
    21882188by:   
    2189   x^3 + y^3 - 1, 
     2189  x^2 + y^2 - 1, 
    21902190Closed subscheme of Affine Space of dimension 2 over Rational Field defined  
    21912191by:   
    2192   x^2 + y^2 - 1 
     2192  x^3 + y^3 - 1 
    21932193] 
    21942194\end{verbatim}%link 
    21952195 
    …… 
    21992199\begin{verbatim} 
    22002200sage: V = C2.intersection(C3) 
    22012201sage: V.irreducible_components() 
    2202 [ 
    2203 Closed subscheme of Affine Space of dimension 2 over Rational Field defined  
    2204 by: 
    2205   x + y + 2 
    2206   2*y^2 + 4*y + 3, 
    2207 Closed subscheme of Affine Space of dimension 2 over Rational Field defined  
    2208 by: 
    2209   y - 1 
    2210   x, 
    2211 Closed subscheme of Affine Space of dimension 2 over Rational Field defined  
    2212 by: 
    2213   y 
    2214   x - 1 
    2215 ] 
     2202    [ 
     2203    Closed subscheme of Affine Space of dimension 2 over Rational Field defined by: 
     2204      y 
     2205      x - 1, 
     2206    Closed subscheme of Affine Space of dimension 2 over Rational Field defined by: 
     2207      y - 1 
     2208      x, 
     2209    Closed subscheme of Affine Space of dimension 2 over Rational Field defined by: 
     2210      x + y + 2 
     2211      2*y^2 + 4*y + 3 
     2212    ] 
    22162213\end{verbatim} 
    22172214Thus, e.g., $(1,0)$ and $(0,1)$ are on both curves (visibly clear), as are 
    22182215certain (quadratic) points whose~$y$ coordinates satisfy