Anwendung: Integer Relations

• (Wdhlg) für die Bestimmung von log 2 ist nützlich:

  log(1 + 1/80) = - 4 log(2) + 4 log(3) - 1 log(5)

  wir suchen kurze Vektoren in Gitter mit Basis

  [[1, 0, 0, F log(2)]^T,[0, 1, 0, F log(3)]^T,[0, 0, 1, F log(5)]^T]

• Implementierungen:
  • Paket/Algorithmus LLLReduction in FriCAS, https://fricas.github.io/book.pdf 9.52

  • http://wayback.cecm.sfu.ca/projects/ISC/ISCmain.html

    benutzt PSLQ, Bailey, Ferguson 1992, http://www.davidhbailey.com/dhbpapers/pslq.pdf