{"entities":{"Q1906927":{"pageid":1917669,"ns":120,"title":"Item:Q1906927","lastrevid":73290582,"modified":"2026-04-14T15:17:41Z","type":"item","id":"Q1906927","labels":{"en":{"language":"en","value":"Dynamic evaluation and algebraic closure in Axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 838658"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$60872D41-815E-4FB0-B235-A6833B4A2B64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4974f25e154c62633960eda31a2bdf70499a18b","datavalue":{"value":{"text":"Dynamic evaluation and algebraic closure in Axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1906927$0E201054-6750-4E3F-9B0D-BE5F7C302894","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c5486f475d83216d42ba8b0989fbdcaa9764e8f","datavalue":{"value":"0851.11075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$562AD681-4EC7-41BA-924B-968C4FED1841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"594fbab58fae62a6efa7ff041435ee2301fa6f1f","datavalue":{"value":"10.1016/0022-4049(94)00053-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$9F061C2C-3114-4AF8-821A-F05E2E7C9DE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0053237aafbf1f84d532ac720618bcc7a9399d88","datavalue":{"value":{"entity-type":"item","numeric-id":382411,"id":"Q382411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$5186DD94-CEB1-4D04-87EE-73680EA24199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$FC521646-A33C-474D-98C4-D919CC74FA64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf80918924619bee5a9394ae26c1c7a83195bbf8","datavalue":{"value":{"time":"+1996-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1906927$374909FD-46A6-4E39-BA63-B97BFC4AFA08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca5e18563879b84f598d33061280216093e06ade","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$28B92F23-83CE-4B58-93BA-1DA8B01C30B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"da821cffe7e96269025b8e6783fb2f14735ef92b","datavalue":{"value":{"entity-type":"item","numeric-id":685523,"id":"Q685523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$7FBBE5DB-BCC2-4FE2-A089-4D98D217970A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$CA83FD83-241D-409A-8FFA-BA11EB1457B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$0C96EE2C-B9CF-49B5-BD5E-CD66A3344568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$599CE541-5A6B-4F6C-A2B4-1DBC0476022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$124FCFCC-03D0-4CD4-BE00-B356CA81FB74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc071ced7e147e4fded0928686e67c7246fdbd94","datavalue":{"value":"838658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$9F646786-79B2-4D0C-9FEE-3570A9BE6FE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b5fc8f6e14921e67405b29fc381d00e34e190b","datavalue":{"value":"dynamic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$BD99E23E-FB33-4C25-8ED2-B02148FFD544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeaf6346103e174adb95901e26a787b2d3ada0b0","datavalue":{"value":"sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$77A54F07-148E-42C0-B2C8-8216440DD131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722a66e831f32c8a21a44dd24740951b9958ce0","datavalue":{"value":"Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$EA188564-1D12-49A4-B849-E9A7F659C4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12a858b2d31f6c14d8754b86bc2649fe34689cd9","datavalue":{"value":"dynamic algebraic closure of a field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$55810C38-4791-4AA5-9065-FA664F50BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7e860b29030f7d7d7722a761fe9974d657a6c7","datavalue":{"value":"algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906927$AE80B351-3D50-43A7-B35A-CD1748DEC566","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$6E759678-5E9F-4830-93BA-0FB42E6AAF5F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$D779F863-89FF-4BA7-A665-8549976E1EE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f66811af05852871a151b62adf8f48badcf8470","datavalue":{"value":"Q114016567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$8394485E-5477-4AEA-8D11-3AD1A911ECFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a79222939c362c2221dfda491d611127cedab424","datavalue":{"value":{"entity-type":"item","numeric-id":3470107,"id":"Q3470107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$D8DAC131-DFFC-4063-970D-F899A38B4C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ec98b07b24b3c1d6f844b6c6eaf21f2a67c718","datavalue":{"value":{"entity-type":"item","numeric-id":1565836,"id":"Q1565836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$0A6FC408-A30C-418D-AD28-AC29E1F27AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88c6e648af1e6ea5f97f3099e54c273c3553ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4302337,"id":"Q4302337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$80D0878A-1512-4A8D-A2A5-047DA6E6F5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9851fb3bb97453d8f2e67ff4c47e40ed2d5e3e68","datavalue":{"value":{"entity-type":"item","numeric-id":1565817,"id":"Q1565817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$D38E7063-C4DA-4A81-88BB-A5C4AFCEB794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906927$45D81361-8E49-4E3A-845A-26433DFD4FD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc26e92dcd6a6bb21ef2682c054a7fef0f49d6cf","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)00053-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q1906927$3E4548DB-21AD-496E-AE54-CA158A593F15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff3c23c459cb6c4dac0eb88cd0b98dbc0d5b820","datavalue":{"value":"W2094226590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906927$03EDDBF4-DF55-4F9F-BD5B-CF33E81BF3CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524b53b70d4e421cec683851cf01c4e1b7fa4b40","datavalue":{"value":{"entity-type":"item","numeric-id":4440904,"id":"Q4440904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e82933d44c9f7188590e1327ff305824d865aa","datavalue":{"value":{"amount":"+0.86302066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$EDE370CF-9612-4B13-8371-C11B387A118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecccbf2fe4db72ec24a497e3dd3a48c680b9ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":3527629,"id":"Q3527629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a2840c6387b627845a0b94fa5800c9796b9e8f","datavalue":{"value":{"amount":"+0.84860545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$590414A0-B19D-4B7D-90C7-DE9A1BCF9C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9266b9bfb80b4f28451136f50defbe991aee62","datavalue":{"value":{"entity-type":"item","numeric-id":3457709,"id":"Q3457709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0740c7807f9a51bdef00f3a488c1481f99913b8b","datavalue":{"value":{"amount":"+0.8430726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$5821B28E-27F2-4393-AA8D-04E5AFA6EFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489b570d24ce65e49b99f47367842ef735213912","datavalue":{"value":{"entity-type":"item","numeric-id":5411494,"id":"Q5411494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5d7530d800494e9edab13ae0d3e7afa23b8e88","datavalue":{"value":{"amount":"+0.83992076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$0B8FF47C-7664-418A-A332-93F857401D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f408eb80d550c469e9b3b3e1eee839ed2427ca","datavalue":{"value":{"entity-type":"item","numeric-id":6156625,"id":"Q6156625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0181d5cf1555fe0520768b7eef1bd186f6f2a434","datavalue":{"value":{"amount":"+0.83434045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$6450D969-632A-447B-AAE7-8909FFAD5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39281edb306dac6c8f87a693a2925eb9bfe7225","datavalue":{"value":{"entity-type":"item","numeric-id":3809233,"id":"Q3809233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47de73c7d8c2d152b9a99afb85a5bc8c87a08e81","datavalue":{"value":{"amount":"+0.83131987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$C2C9C114-7813-4857-85DE-24A28EDC0284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49af3e81e84cd06c742b2195e8e3f3375146a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1706237,"id":"Q1706237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019579e2b19ec39a0cd5e859b396584df078255f","datavalue":{"value":{"amount":"+0.8292408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$626660A4-94D3-43BF-AB60-4BF32F539604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a32bf0b71eb22b1718ef9bf8e741dbdeacf618","datavalue":{"value":{"amount":"+0.8277882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$353C372F-BB2F-47AB-9880-A7FF6607F735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9559e19b9298ccd213664f6c35b86bd8fb825c2","datavalue":{"value":{"entity-type":"item","numeric-id":3719823,"id":"Q3719823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ae457ea7544f301deafc87b1cddbc6fe8c8a96","datavalue":{"value":{"amount":"+0.82693243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$85B39B8B-6C8F-46AA-BF8C-117AE9B86E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f3f9fd506ebe943e958bfa2a6e631a842ea235","datavalue":{"value":{"entity-type":"item","numeric-id":1821095,"id":"Q1821095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ae457ea7544f301deafc87b1cddbc6fe8c8a96","datavalue":{"value":{"amount":"+0.82693243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906927$F69A7120-4CE4-4385-A3FA-280EE9762426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic evaluation and algebraic closure in Axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_evaluation_and_algebraic_closure_in_Axiom"}}}}}