transalpyne: a language for automatic transposition

Luca de Feo (1, 2) , Éric Schost (3)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 TANC - Algorithmic number theory for cryptology
3 Department of Computer Science

We present here transalpyne, a scripting language, to be executed on top of a computer algebra system, that is specifically conceived for automatic transposition of linear functions. Its type system is able to automatically infer all the possible linear functions realized by a computer program. The key feature of transalpyne is its ability to transform a computer program computing a linear function in another computer program computing the transposed linear function. The time and space complexity of the resulting program are similar to the original ones.

Domaines: Calcul formel [cs.SC]

Luca de Feo, Éric Schost. transalpyne: a language for automatic transposition. ACM Communications in Computer Algebra, 2010, 44 (1/2), pp.59-71. ⟨10.1145/1838599.1838624⟩. ⟨hal-00505809⟩