DS

# ==============================================================================
#  Jeu DS -- engendre par preparer.py, NE PAS EDITER A LA MAIN
#  8 amers, portees 3044-6914 m depuis l'origine
#  delta = 31 m (30 m de carte + 1 m d'arrondi des coordonnees)
#  d_alpha = 3.000000 deg SUR L'ANGLE ENTRE AMERS
#             dont 8.84e-04 arcsec de transcription, majores et absorbes
#  28 paires mesurees sur 28 possibles
# ==============================================================================

const NOM = "DS"
const EMPREINTE = "f879e206b1049d1b"     # signature des donnees, recopiee dans le resultat

const AMERS = Tuple{Rational{BigInt},Rational{BigInt}}[
    (-2286//1, 2277//1),          # 1  azimut  315.30 deg
    (-3175//1, 2432//1),          # 2  azimut  308.15 deg
    (-3030//1, 2055//1),          # 3  azimut  305.17 deg
    (-2728//1, 1698//1),          # 4  azimut  302.84 deg
    (-2950//1, 1620//1),          # 5  azimut  299.72 deg
    (-2744//1, 1318//1),          # 6  azimut  296.61 deg
    (-3727//1, 1606//1),          # 7  azimut  294.29 deg
    (-6558//1, 2189//1),          # 8  azimut  289.21 deg
]

const DELTA = Rational{BigInt}(31)
const T_D   = Rational{BigInt}(2027, 77408)   # tan(d_alpha/2)

const MESURES = Dict{Tuple{Int,Int},Tuple{Rational{BigInt},Int}}(
    (1,2) => (167//2673, 0),
    (1,3) => (2859//32257, 0),
    (1,4) => (10643//97495, 0),
    (1,5) => (6197//45298, 0),
    (1,6) => (2125//12913, 0),
    (1,7) => (7455//40204, 0),
    (1,8) => (6753//29146, 0),
    (2,3) => (517//19876, 0),
    (2,4) => (2990//64479, 0),
    (2,5) => (4682//63529, 0),
    (2,6) => (521//5156, 0),
    (2,7) => (6248//51405, 0),
    (2,8) => (12313//73817, 0),
    (3,4) => (1292//63533, 0),
    (3,5) => (4645//97592, 0),
    (3,6) => (757//10115, 0),
    (3,7) => (3102//32573, 0),
    (3,8) => (12298//87727, 0),
    (4,5) => (395//14504, 0),
    (4,6) => (1633//30007, 0),
    (4,7) => (7004//93697, 0),
    (4,8) => (11482//96077, 0),
    (5,6) => (485//17866, 0),
    (5,7) => (3013//63537, 0),
    (5,8) => (5067//55091, 0),
    (6,7) => (1142//56399, 0),
    (6,8) => (5983//92520, 0),
    (7,8) => (3649//82258, 0) )

machine : Linux aarch64  --  Raspberry Pi 4 Model B Rev 1.1
          4 coeur(s) a 1.50 GHz, 3.7 Go,  4 fil(s) demande(s)
calcul  : intervalles fi64, mantisse hors solveur 256 bits
bati    : Sep  7 2026, gcc 14.2.0
          arrondi dirige disponible,  socle : pthreads oui, rsgc non, flint non
          gmp 6.3.0, mpfr 4.2.2, mpfi 1.5.4
========================================
  DS  (8 amers)
========================================
  8 amers, 56 contraintes orientees
  elagage sur 30 boites : 8 paires sur 1540
  X∩ : 8 sommets en 0.214 s  (elagage 0.040, solveur 0.143, filtres 0.022)
  boite de depart reprise de X∩ : x[-430, 750]  y[-850, 486]
  germe repris de X∩ : 8 contrainte(s)
  critere : la cloture n'apporte rien sur 56 bornes  ->  X = X∩ est ACQUIS sans calculer X
            --critere : calcul de X saute, le resultat est X∩
  resultat : X∩, 8 sommets
  memoire : pic 37.3 Mo
  temps : X∩ 0.214 s   X 0.000 s   aire 0.000 s   bord 0.000 s   calcul 0.217 s   mural 0.217 s
  solveur : direct=8 erreur=0 asymptote=0 non_gen=0 plusieurs=0 coords=0
  dont decomposition 0.10 s, solve_ratparam_real 0.04 s
  ecrit : /tmp/geoloc-1v5202w6/DS.resultat.json

========================================
  DS_courbes  (8 amers) -- analyse de /tmp/geoloc-1v5202w6/DS.resultat.json
========================================
  aire de X∩ : [819800, 824500] m2  (0.562 %, niveaux 2 ; 32 prouvee(s), 0 mesuree(s), 0 majoree(s))
  bord de X∩ : 64 points  (fleche 0.46 px a 2160, niveaux 3)
  temps :   aire 0.358 s   bord 0.082 s
  ecrit : /tmp/geoloc-1v5202w6/DS.analyse.json