Dynamic evaluation and algebraic closure in Axiom

DOI10.1016/0022-4049(94)00053-LMaRDI QIDQ1906927zbMATH OpenOpenAlexWikidataFDO

Authors Dominique Duval

Publication date 25 November 1996

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(94)00053-l

zbMATH Keywords

algebraic numbersAxiomdynamic algebraic closure of a fielddynamic evaluationsketches

Mathematics Subject Classification ID

Algebraic number theory computations (11Y40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Symbolic computation and algebraic computation (68W30)

Review text

Dynamic evaluation is a method of computing that permits the computation to be refined into different cases that are considered separately. A precise description and mathematical foundation was given in terms of sketch theory by \textit{D. Duval} and \textit{J.-C. Reynaud} [Math. Structures Comput. Sci. 4, 239-271 (1994; Zbl 0822.68063)]. In the present paper, the mechanism of dynamic evaluation is explained without reference to sketch theory in order to make it accessible to a wider audience. Next, it is shown how dynamic evaluation can be employed to compute with algebraic numbers without having to do explicit factorization of polynomials. The essential step here is to define the dynamic algebraic closure of a field. Finally, a program for the Axiom system implementing dynamic algebraic closure is presented.

Recommendations

• scientific article; zbMATH DE number 2020233
• Algebraic closure in continuous logic
• Algebraic Semantics for Dynamic Dynamic Logic
• scientific article; zbMATH DE number 6287647
• Algebraic effects for extensible dynamic semantics
• scientific article; zbMATH DE number 4078767
• Axiomatic closure operations, phantom extensions, and solidity
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 3949705
• A unifying theorem for algebraic semantics and dynamic logics

Cites work

• Dynamic evaluation and real closure.
• Examples of using dynamic constructible closure.
• scientific article; zbMATH DE number 4137314 (Why is no real title available?)
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• Sketches and computation – II: dynamic evaluation and applications

Cited in

(12)

• Evaluation techniques for zero-dimensional primary decomposition
• Straight-line programs in geometric elimination theory
• Examples of using dynamic constructible closure.
• Dynamic evaluation and real closure.
• A new algorithm for discussing Gröbner bases with parameters.
• Algebraic numbers: An example of dynamic evaluation
• Directed evaluation
• Lifting and recombination techniques for absolute factorization
• Improving the DISPGB algorithm using the discriminant ideal
• Modular dynamic evaluation
• scientific article; zbMATH DE number 1254236 (Why is no real title available?)
• Gröbner bases for polynomial systems with parameters

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication: Dynamic evaluation and algebraic closure in Axiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1906927)