• Nie Znaleziono Wyników

Out lt;,82, 1<,82, 0<,81, 1<,81, 0<,80, 0<&lt

N/A
N/A
Protected

Academic year: 2021

Share "Out lt;,82, 1<,82, 0<,81, 1<,81, 0<,80, 0<&lt"

Copied!
2
0
0

Pełen tekst

(1)

k=2; n=4; l=n-k;

t=Function@a,8t1, t2, t3, t4<@@aDDD; x=Function@a,8x1, x2, x3, x4<@@aDDD; punkty=Subsets@Range@nD,8k<D

podzialy=Function@a, Range@n-k+1, nD -aD žpunkty

Out[5]= 881, 2<,81, 3<,81, 4<,82, 3<,82, 4<,83, 4<<

Out[6]= 882, 2<,82, 1<,82, 0<,81, 1<,81, 0<,80, 0<<

In[7]:= segre=Function@8a, i, d<,

SeriesCoefficient@HProduct@1+t@jDh,8j, Range@l+i-a@@iDD +1, nD<D  Product@1+x@jDh,8j, Range@kD<DL,8h, 0, d<DD;

In[8]:= schur=Function@a, Det@Table@segre@a, i, a@@iDD +j-iD,8i, k<,8j, k<DDD;

In[12]:= Print@"c1,c2 - klasy Cherna wi„zki tautologicznej "D Do@klasa=schur@podD; Print@"Klasa Schuberta", podD;

Print@SymmetricReduction@klasa,8x1, x2<,8c1, c2<D@@1DDD; Print@"obciŒta do punktu:"D;

Do@Print@p, " : ", Factor@klasa.8x1®t@p@@1DDD, x2®t@p@@2DDD<DD,8p, punkty<D; Print@D,8pod, podzialy<D

c1,c2 - klasy Cherna wi„zki tautologicznej Klasa Schuberta82, 2<

c22+c1 c2H-t3-t4L +c12t3 t4+t32t42+c2It32+t42M +c1I-t32t4-t3 t42M obciŒta do punktu:

81, 2< : Ht1-t3L Ht2-t3L Ht1-t4L Ht2-t4L 81, 3< : 0

81, 4< : 0 82, 3< : 0 82, 4< : 0 83, 4< : 0

Klasa Schuberta82, 1<

-c1 c2+c2Ht2+t3L +c12t4+t2 t42+t3 t42+c1I-t2 t4-t3 t4-t42M obciŒta do punktu:

81, 2< : -Ht1-t3L Ht1-t4L Ht2-t4L 81, 3< : -Ht1-t2L Ht1-t4L Ht3-t4L 81, 4< : 0

82, 3< : 0 82, 4< : 0 83, 4< : 0

Klasa Schuberta82, 0<

c12-c2+t2 t3+c1H-t2-t3-t4L +t2 t4+t3 t4 obciŒta do punktu:

(2)

81, 2< : Ht1-t3L Ht1-t4L 81, 3< : Ht1-t2L Ht1-t4L 81, 4< : Ht1-t2L Ht1-t3L 82, 3< : 0

82, 4< : 0 83, 4< : 0

Klasa Schuberta81, 1<

c2-c1 t4+t42 obciŒta do punktu:

81, 2< : Ht1-t4L Ht2-t4L 81, 3< : Ht1-t4L Ht3-t4L 81, 4< : 0

82, 3< : Ht2-t4L Ht3-t4L 82, 4< : 0

83, 4< : 0

Klasa Schuberta81, 0<

-c1+t3+t4

obciŒta do punktu:

81, 2< : -t1-t2+t3+t4 81, 3< : -t1+t4

81, 4< : -t1+t3 82, 3< : -t2+t4 82, 4< : -t2+t3 83, 4< : 0

Klasa Schuberta80, 0<

1

obciŒta do punktu:

81, 2< : 1 81, 3< : 1 81, 4< : 1 82, 3< : 1 82, 4< : 1 83, 4< : 1 2 doubleschur.nb

Cytaty

Powiązane dokumenty

Znale¹¢ wspóªczynniki odbicia

c 7* SHGTUNVPJtQQLWOLTPJuNMNVGWRJB

[r]

W nawiasie jest wyra»enie, które ma warto±¢ 5 i jest interpretowane jako true (dowolna warto±¢ niezerowa jest interpretowana jako logiczne true). instrukcja b¦dzie wi¦c

Ponieważ wszystkie wnioski PA s¸ a spełnione w (N, +, ·, &lt;, 0, 1), powyższe oznacza, że T h(N ) składa si¸e ze wszystkich wniosków

[r]

619.. gdy ciąg występujący pod znakiem granicy jest rozbieżny, ale nie jest to rozbieżność do +∞ ani do

[r]