Définitionsextraire

extraire

verbe
/ɛks.tʁɛʁ/
  1. Tirer ou retirer une chose d’un lieu, d’un corps dans lequel elle s’est formée ou introduite.Pendant longtemps le sucre ordinaire a été extrait exclusivement de la canne à sucre ; cette opération se pratique encore, surtout dans les Indes et en Amérique.M. Personne qui, […], a fait une étude très-approfondie du lupulin, conseille, pour extraire cette matière des cônes du houblon, défroisser les cônes entiers sur un tamis de crin, […].Perret mentait donc et hâblait donc quand, le 12 mars 1885, il disait qu’avant la fin de l’année on extrairait un minimum de 10.000 mètres cubes par jour de sable aurifère. La vérité est qu’on n’a rien extrait encore et qu’on n’extraira jamais rien...[…].
  2. Tirer d’un livre, d’un registre, d’un acte, etc., les passages, les renseignements dont on a besoin.Il a extrait ce passage d’un dialogue de Platon.Il n’a extrait de cette histoire que les faits les plus intéressants.Cela est extrait des registres de la mairie, est extrait de tel journal.
  3. Tirer, séparer par quelque opération chimique une substance simple ou composée d’un corps dont elle faisait partie.Extraire le suc, l’huile de quelque substance.
  4. ArithmétiqueEffectuer certaines formes de calcul, en particulier itératif, notamment pour le calcul de racine, carrée ou cubique, qui sont chacune/une fonction implicite.Extraire la racine carrée, la racine cubique d’un nombre, En chercher la racine carrée, la racine cubique.Extraire les entiers contenus dans un nombre fractionnaire, Chercher combien de fois ce nombre contient l’unité.ou bien, poursuis la précédente façon d' extraire tant que tu voudras, & selon la commodité, & nécessité
  5. InformatiqueRetirer, dans le sens de recopier, un ou plusieurs fichiers d’une archive.Extraire les fichiers d’une archive, y retirer les fichiers.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.