Browse Source

use div(f) instead of <f> for divisor of f

narodnik 4 years ago
parent
commit
5382a76eac
1 changed files with 1 additions and 1 deletions
  1. 1 1
      script/research/ec/pairing/3.1.2-classgroup.sage

+ 1 - 1
script/research/ec/pairing/3.1.2-classgroup.sage

@@ -11,7 +11,7 @@ inf = E(0)
 D1 = ((1, P), (1, Q), (1, R))
 D1 = ((1, P), (1, Q), (1, R))
 D2 = ((4, inf), (-1, S))
 D2 = ((4, inf), (-1, S))
 
 
-# D1 ~ D2 <=> D1 = D2 + <f>
+# D1 ~ D2 <=> D1 = D2 + div(f)
 # sum(div(f)) = O, deg(div(f)) = 0
 # sum(div(f)) = O, deg(div(f)) = 0
 
 
 def dsum(D):
 def dsum(D):