# HG changeset patch
# User Chris Wuthrich <christian.wuthrich@gmail.com>
# Date 1215694678 -3600
# Node ID ecc8b391316d0ea61a97985a27574395eb1b1a26
# Parent 91af4c3f6b92316e4117af342d82be33cf5d949b
change assert for p-adic heights
diff -r 91af4c3f6b92 -r ecc8b391316d sage/schemes/elliptic_curves/padics.py
|
a
|
b
|
def _multiply_point(E, R, P, m): |
| 366 | 366 | ... "_multiply_point() gave an incorrect answer" |
| 367 | 367 | |
| 368 | 368 | """ |
| 369 | | assert m >= 2 |
| | 369 | assert m >= 1 |
| 370 | 370 | |
| 371 | 371 | alpha = R(P[0].numerator()) |
| 372 | 372 | beta = R(P[1].numerator()) |
| 373 | 373 | d = R(P[0].denominator().sqrt()) |
| | 374 | if m == 1: |
| | 375 | return alpha, beta, d |
| 374 | 376 | |
| 375 | 377 | a1 = R(E.a1()) * d |
| 376 | 378 | a3 = R(E.a3()) * d**3 |