Cairn.

Cairn räknar Néron–Tate-höjden för en rationell punkt på en elliptisk kurva y² = x³ + Ax + B.

Skriv A, B och punkten P som heltal eller bråk. Appen följer Tates fördubbling: varje steg tar 2P, och den naiva höjden delas med fyra. Siffran som visas är ett intervall från Silvermans felgräns. Torsion ger exakt noll.

Kurvan ritas på bänken. Dra tangenten visar fördubblingen. En andra punkt kan läggas till, och höjdparningen mellan P och Q räknas med samma gräns. Pröva mot 3P jämför höjden av 3P med nio gånger höjden av P.

Följden listar stegen. Häftet har en kort läsning, fyra exempel (bland annat en punkt av ordning 3) och de rader du själv sparar. En sparad rad kan läggas tillbaka på bänken.

Ingen konto och ingen server. Räkningarna ligger i en fil på telefonen.

Discovery signals