Franska | Engelska |
---|---|
extension nom | extension [extensions]◼◼◼(computing: file extension) extension [extensions]◼◼◼(computing: optional software component) add-on [add-ons]◼◼◻(software: extension of core application) |
extension nom {f} | extension [extensions]◼◼◼(act of extending or the state of being extended) add-on [add-ons]◼◼◻(something which can be appended to something else) |
élargir verbe | broaden [broadened, broadening, broadens]◼◼◼(to make broad) enlarge [enlarged, enlarging, enlarges]◼◼◼(make larger) widen [widened, widening, widens]◼◼◼(to broaden or extend) widen [widened, widening, widens]◼◼◼(to let out clothes) widen [widened, widening, widens]◼◼◼(to make wider) |
extension galoisienne nom {f} | Galois extension◼◼◼(algebraic extension that is normal and separable) |
par extension preposition | by extension◼◼◼(broadly) |
Parc-Extension nom propre | Park Extension◼◼◼proper noun |
extension de Galois nom {f} | Galois extension◼◼◼(algebraic extension that is normal and separable) |
extension de Kan nom {f} | Kan extension◼◼◼(construct that generalizes the extending of a function's domain of definition) |
extension de fichier nom | file extension◼◼◼(string of characters) |
élargir le mouvement verbe | augment [augmented, augmenting, augments](to slow the tempo or meter) |