{"entities":{"Q507167":{"pageid":508934,"ns":120,"title":"Item:Q507167","lastrevid":62357151,"modified":"2026-04-11T05:32:27Z","type":"item","id":"Q507167","labels":{"en":{"language":"en","value":"Eliminating dual spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680420"}},"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":"Q507167$152B447C-EE9F-4F72-A5C2-E2600C84AD46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36b5bebf297197fba38219f7196051c5244bdae9","datavalue":{"value":{"text":"Eliminating dual spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507167$E56F55F7-910C-4BA4-8329-4B2CADC06863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009ccfcbb7ef54acf22ca9cb1ce46155cb95bc28","datavalue":{"value":"1359.14052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$08321159-DF19-4D0B-A498-C4BD1884EC4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13297d971351815335c01eaab5136cf343f2f02","datavalue":{"value":{"entity-type":"item","numeric-id":507166,"id":"Q507166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$C5ED2B83-298C-4506-8AA8-3D20D3D352A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9695c34c1a3288459cbf79c51e785f4c8c77b605","datavalue":{"value":{"entity-type":"item","numeric-id":240137,"id":"Q240137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$C342B708-4533-4730-A8BB-3399DE835478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$6BE99B1F-DB6D-4D26-B705-6748FEF55EE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f077fc2ce013ec6748bf1bf77b2e03417e1ed3a4","datavalue":{"value":{"time":"+2017-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507167$B2B9CFB0-5F70-418E-BA9C-9743B35C5C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a58c662fbdc57e5888fab07ff4109ced0b492ce9","datavalue":{"value":"https://arxiv.org/abs/1503.02038","type":"string"},"datatype":"url"},"type":"statement","id":"Q507167$1048BD6E-DBAA-4376-8280-B99A16BD6905","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d4e3f80c3ccabbfbbfac4bcead22acdbfeb4067","datavalue":{"value":"Dual spaces provide a local description of an affine scheme and are very well adapted for approximate numerical computations and hybrid symbolic numerical algorithms.  For \\(\\alpha\\in \\mathbb{Z}^N_{\\geq 0}\\) and \\(y\\in \\mathbb{C}^N\\) define \\(\\partial^\\alpha[y]:\\mathbb{C}[x_1, \\ldots, x_N]\\to \\mathbb{C}\\) by \\(\\partial^\\alpha[y](g)=(\\partial^\\alpha g)(y)\\) and \\(D_y=\\text{span}_{\\mathbb{C}}\\{\\partial^\\alpha[y]|\\alpha\\in \\mathbb{Z}^N_{\\geq 0}\\}\\).  Let \\(I\\subseteq \\mathbb{C}[x_1, \\ldots, x_N]\\) be an ideal, the Macaulay dual space of \\(I\\) at \\(Y\\), is \\(D_y[I]=\\{q\\in D_y | q(g)=0 \\text{ for all } g\\in I\\}\\).  Eliminating dual spaces are introduced and used to compute dual spaces of quotient ideals. It is proved that \\(D_0[I:\\langle g\\rangle]=g D_0[I]\\). Fixing \\(A\\subseteq \\{x_1, \\ldots, x_N\\}\\) the eliminating dual spaces of \\(I\\) are \\(E^d_0[I,A]=\\{q\\in D_0(I)|\\text{ord}_Aq\\leq d\\}\\), here \\(\\text{ord}_A\\partial^\\alpha=\\sum\\limits_{x_i\\in A}\\alpha_i\\) and \\(\\text{ord}_Aq\\) is the maximum of the order of the terms of \\(q\\).  The dual space of \\(I\\cap \\mathbb{C}[x_{m+1}, \\ldots, x_N]\\) is \\(D_0[I]|_{\\partial_1=\\ldots =\\partial_m=0}\\) and the eliminating dual \\(E^0_0[I, A]\\) is the dual of \\(I+\\langle A\\rangle\\).  An algorithm is developed for detection embedeed points on an algebraic curve.","type":"string"},"datatype":"string"},"type":"statement","id":"Q507167$251C1A56-C2CE-41DC-9F55-884BACE52DF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb46da72285f0ed219d7f86e8b81fe54dde9377f","datavalue":{"value":{"entity-type":"item","numeric-id":242482,"id":"Q242482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$F8848585-F9A1-4CA4-AAB7-C855155F2589","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$B97275BF-208F-4630-8258-D373D1C1FC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$F790EA80-7062-406E-A55A-C3174460E8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4eb3f809624b6a64d561d737c1204e25111b185a","datavalue":{"value":"14Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$1B9A9C59-0FA1-4637-9560-0B8DCAC509CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c1abd404f990f34050a81ca7ac33930424c958","datavalue":{"value":"6680420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$9E0FB992-9194-4606-974B-A932C49438BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c91e2694ecbffa3e811b1d1000ff4c51fe02850","datavalue":{"value":"numerical algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q507167$37454488-D22C-4D6C-95A9-B520D22302CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04af74033c357b90cf299e1f6bd60f4c492a8208","datavalue":{"value":"Macaulay dual spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q507167$5DBEAACB-1C3C-4022-8DE7-AAB6CEB524FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2b4f69afcb52463dcf6d57f999725711d6eca2","datavalue":{"value":"embedded points","type":"string"},"datatype":"string"},"type":"statement","id":"Q507167$24743358-71BB-4C91-8D85-EDF45422CF7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$0D5018F6-74E0-4B21-8A9F-5FD9F3E8DEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$78B48103-D169-42A9-8720-DDF14C2EE419","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":"Q507167$C42C661D-ACBC-472A-B537-31C6AAAF1976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b73ddfe35ecfcbdd5cbf47fcc2dd275e76573a9","datavalue":{"value":"W2962808178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$F4150B0D-A404-47A2-B26B-EECB58F3DFB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$A800ED5D-4CBE-4AEC-B646-C87CAFC9CFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5755b1a64f56feb955f0128057fefc14708cf230","datavalue":{"value":{"entity-type":"item","numeric-id":3056243,"id":"Q3056243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$FFEB6386-C20F-49DB-B4D7-975E802E55DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323909d182ef785407afaa99f8134e2985f17c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5262751,"id":"Q5262751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$83778E6A-8FF5-44BF-9195-FF732A0203DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477c36632882ff719d1bcf0aa072d9b5f55b4e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3591380,"id":"Q3591380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$3FC14959-41CC-4143-AC80-227805F56E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcbe72fae2b6713522eb35ba8153d5248eb8e36","datavalue":{"value":{"entity-type":"item","numeric-id":5261424,"id":"Q5261424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$E33AD504-D882-4C82-A4B8-85609AAF4186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6304890d25ff7c79e4f8fde676bef9a6d75f2a3","datavalue":{"value":{"entity-type":"item","numeric-id":3580699,"id":"Q3580699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$53C2B498-2A86-445C-8861-241E135CE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619e4819c67a88c7bd03cae7d5ca2a9d7076f069","datavalue":{"value":{"entity-type":"item","numeric-id":358629,"id":"Q358629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$A17D651D-7984-490A-883B-3B8AB56B8B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3ff45b9e48f411c2b19a554390745b3b9b3f39","datavalue":{"value":{"entity-type":"item","numeric-id":1807976,"id":"Q1807976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$537BC99E-4385-4143-B176-344B8B8C6E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08806199f38d8bccfd6e9f5d3d7f4bc183d41d2","datavalue":{"value":{"entity-type":"item","numeric-id":4928325,"id":"Q4928325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$401E0CBA-3418-4C05-AB0F-3A1A194BDDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302026a7ac28ce7329f426f6b3b7a0105e4ea4bf","datavalue":{"value":{"entity-type":"item","numeric-id":512360,"id":"Q512360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$C24280CF-0830-4CBF-A5E4-EDDA03697877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ac25c62031d82bd61054268ac15b2b91fb4e74","datavalue":{"value":{"entity-type":"item","numeric-id":1865830,"id":"Q1865830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$E9D1D2AD-548A-42BD-A963-38913666235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3b36a2aea8fedbcaedf84877e11dd076baa84c","datavalue":{"value":{"entity-type":"item","numeric-id":5301619,"id":"Q5301619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$04708FC0-0370-4623-BD3E-DE28285F3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518d45e721a60d0f8bca4556da3ff2dcc1f16dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2503291,"id":"Q2503291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$F8EFF8BE-5304-40E4-B883-3E40BFEE23BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8785a5214e5a728397871c8d45c32c4da41126","datavalue":{"value":{"entity-type":"item","numeric-id":4896203,"id":"Q4896203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$223E40A1-A9C8-478B-9635-6C5744F04361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0af9b4df05498188b0e5797c99ec0c6e3d688f","datavalue":{"value":{"entity-type":"item","numeric-id":1358925,"id":"Q1358925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$6D609281-A925-4220-91FD-D161039CE3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c6f62b24e723db839814eacfa9dc564554d2af","datavalue":{"value":{"entity-type":"item","numeric-id":5505191,"id":"Q5505191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$B125FC9D-9BD2-435E-AFA8-D945E201A231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4552187423ce9c034220cf8650e58e14a808e509","datavalue":{"value":{"entity-type":"item","numeric-id":5312787,"id":"Q5312787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507167$D6FD3629-AB2E-462F-80A3-0D4949D3C0DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0471598e27f0972bb3e069f036db4e0d999689e7","datavalue":{"value":"10.1016/J.JSC.2016.07.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507167$D71B1B43-CCF3-4614-9947-A75979C05D88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587086aef7a1230e42467a90048c3e6935d18ae5","datavalue":{"value":{"entity-type":"item","numeric-id":857881,"id":"Q857881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5712019588db121b15a45aacb041207e3908a244","datavalue":{"value":{"amount":"+0.7458432912826538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q507167$072911C7-AA13-4A9D-9FA3-5A16DA41CE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6320e1f2c9dc542018646f5cd1c9a716b83d1d","datavalue":{"value":{"entity-type":"item","numeric-id":1634816,"id":"Q1634816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7e8a860d6a5b84833ccc4bf085320e0b05b60b","datavalue":{"value":{"amount":"+0.7429725527763367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q507167$F1A0DE06-B638-40DE-B3C3-84D483E845C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40e65e8ef8f9be477cdf60c89a25c5d5d6c2e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4928325,"id":"Q4928325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25d319084625bb455dc3b00693cfbf27a0aafef","datavalue":{"value":{"amount":"+0.7332263588905334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q507167$5B44DDD5-FC02-4024-A8F2-7EFFC7E4DE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ee3cc5f9eba2c4231854b042da8d1e14f7450b","datavalue":{"value":{"entity-type":"item","numeric-id":1864879,"id":"Q1864879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82814d9002bd9b760ff7007fc26b3971579f047","datavalue":{"value":{"amount":"+0.7282024025917053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q507167$13ACA27B-2605-4FF3-AFA1-AB0AB4D57A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deae7191cafebca735c19e0d54de4ae976ca4d60","datavalue":{"value":{"entity-type":"item","numeric-id":4801395,"id":"Q4801395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabbdbbbdba733d42240272173ee1ae772bcc65b","datavalue":{"value":{"amount":"+0.7198481559753418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q507167$088B8C79-CD1C-48AE-BD3D-9B23B3371374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminating dual spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminating_dual_spaces"}}}}}