Exporter les données et les formules

Equarith exporte localement, écrit le résultat complet dans un fichier temporaire voisin, puis remplace la destination de façon atomique lorsque le système de fichiers le permet, avec un remplacement ordinaire de secours. Vous pouvez exporter une solution sélectionnée ou tout le front de Pareto, les données modifiées, les prédictions, les graphiques ou les journaux.

Copier un résultat avec Copier comme

Dans l’espace Recherche, faites un clic droit sur une ligne du Front de Pareto. Le menu contextuel propose trois actions distinctes :

• Copier la formule place l’expression Equarith ordinaire dans le presse-papiers sous forme de texte.
• Copier comme copie cette expression unique en LaTeX ou dans l’une des 24 syntaxes scientifiques, logicielles et industrielles répertoriées ci-dessous.
• Exporter la formule… écrit un fichier complet pour la solution sélectionnée. Utilisez Fichier > Exporter les solutions… pour exporter tout le front de Pareto.

Copier comme place volontairement la seule expression rendue dans le presse-papiers. Cette action n’inclut ni déclaration de fonction, ni implémentation des helpers, ni métadonnées de solution, ni chargement des données. Elle convient à un notebook, un document, un champ de formule ou le corps d’une fonction existante. La cible Excel fournit elle aussi un texte en syntaxe de formule, pas un classeur avec des cellules d’entrée reliées ; la cellule ou l’outil de destination peut demander un = initial. Si l’expression emploie une opération protégée qui exige un helper dans le langage cible, choisissez plutôt Exporter la formule… : l’exporteur de fichier produit le module autonome complet et les helpers nécessaires.

Les rapports CSV, JSON et texte brut fournissent les formules et métadonnées de solution ; ils sont donc proposés par l’export de fichier, et non par Copier comme. Copie et export utilisent tous deux l’expression publiée exacte affichée pour le résultat sélectionné.

Formats de formules et de solutions

Les formats documentaires et structurés sont :

• CSV pour l’inventaire tabulaire des solutions ;
• JSON pour des enregistrements structurés ;
• texte brut pour les formules et métadonnées lisibles ;
• LaTeX pour la composition mathématique.

Les exports exécutables produisent une fonction scalaire par solution. Les paramètres suivent l’ordre alphabétique stable des variables. Une variable qui correspond à un mot réservé est renommée de manière sûre pour la cible, et la correspondance est documentée dans les commentaires générés. La plupart des cibles utilisent le préfixe eq_ ; Wolfram Language emploie la forme adaptée eqName.

Les commentaires conservent l’identifiant de la solution, sa complexité, ses objectifs et sa formule canonique. Les helpers nécessaires aux opérations protégées ou absentes ne sont générés qu’une fois par module.

Cibles scientifiques

• Python 3.10 ou version ultérieure, bibliothèque standard uniquement.
• R 4.1 ou version ultérieure.
• Julia 1.6 ou version ultérieure.
• MATLAB R2016b ou version ultérieure, sans toolbox.
• GNU Octave 7 ou version ultérieure.
• SAS 9.4 avec PROC FCMP.
• Classeur Excel OOXML sans macro.
• Wolfram Language 12 ou version ultérieure.

Le classeur Excel contient une feuille Solutions et une feuille d’évaluation par formule. Les entrées sont des cellules modifiables et la prédiction reste indisponible tant que les valeurs requises manquent. Les formules emploient les noms de fonctions OOXML portables qu’Excel localise à l’affichage.

Cibles logicielles

• C99 et C++17.
• Fortran 2008 avec real64.
• Java 8 ou version ultérieure.
• Kotlin 1.8 ou version ultérieure.
• Swift 5.9 ou version ultérieure avec Foundation.
• PHP 8.1 ou version ultérieure.
• C# ciblant .NET Standard 2.0.
• Rust édition 2021.
• Go 1.20 ou version ultérieure.
• Module JavaScript ECMAScript 2020.
• TypeScript 5 ciblant ES2020.
• Syntaxe Lua compatible de 5.1 à 5.5.

Cibles industrielles

• Module VBA7.
• SQL PostgreSQL 12 ou version ultérieure.
• Structured Text IEC 61131-3 avec LREAL.

Sémantique numérique

Les exporteurs utilisent la double précision adaptée à la cible. Lorsqu’un langage ne possède pas une opération ayant exactement la sémantique d’Equarith, le module fournit un helper. Cela couvre notamment la division protégée, le logarithme sûr, la racine carrée sûre, l’exponentielle bornée, la racine cubique réelle, le signe, le reste tronqué et certaines fonctions hyperboliques ou stabilisées.

La fonction générée est scalaire. La vectorisation, le chargement des données, la validation des entrées, l’intégration au processus et la gestion des erreurs appartiennent à l’application appelante.

Le comportement natif peut encore différer hors du domaine fini valide. Bibliothèques flottantes, options du compilateur, réglages du tableur ou implémentations de base de données peuvent introduire de petits écarts d’arrondi. Comparez la cible exportée à Equarith avec des entrées ordinaires, limites et volontairement invalides.

Expressions sans code exécutable

La version 1.0.3 ne génère pas de code exécutable autonome pour :

• les fonctions d’historique, qui ont besoin d’un état de lignes ordonnées ;
• les corps de fonctions définies par l’utilisateur ;
• les placeholders de modèles ;
• les constantes nommées inconnues.

L’export échoue explicitement et ne remplace pas un fichier de destination existant. Les formats de présentation lisibles peuvent toujours représenter le texte des formules prises en charge, notamment les expressions historiques lorsque le format s’y prête.

Autres exports

• Données exporte le jeu actuellement modifié en CSV.
• Depuis Recherche, un export de prédictions évalue la formule sélectionnée sur toutes les lignes du jeu actif et inclut entrées, cible et prédiction. Depuis Prédiction, il exporte la grille personnalisée développée avec le texte de chaque formule et l’état du résultat.
• Les outils de graphique exportent le PNG et les données représentées en CSV.
• Les résultats de recherche peuvent être copiés comme expression Equarith ordinaire ou avec le sous-menu de langage cible Copier comme.
• Le journal structuré peut être exporté en CSV pour l’assistance.

Les grands graphiques interactifs utilisent un budget de points pour rester réactifs. L’export des données d’un graphique décrit les séries tracées ; utilisez l’export dédié aux prédictions pour toutes les lignes de prédiction ou l’export de solutions pour les enregistrements de solution complets.

Liste de vérification avant déploiement

1. Exportez la formule publiée exacte, et non un ancien brouillon.
2. Confirmez les noms de variables, l’ordre alphabétique des paramètres, les unités et la politique de valeurs manquantes.
3. Reproduisez les valeurs d’Equarith sur un échantillon représentatif.
4. Testez les limites des domaines stricts et les branches des fonctions protégées.
5. Décidez comment le système hôte traite NaN, l’infini, les exceptions et les entrées nulles.
6. Ajoutez des tests sur les limites d’extrapolation et les résultats physiquement impossibles.
7. Conservez le projet, la version, l’identifiant de solution et les éléments de validation.

Pour le traitement par lot, consultez Automatisation, CLI sans interface et feuille de route des SDK.