{"entities":{"Q1864886":{"pageid":1875628,"ns":120,"title":"Item:Q1864886","lastrevid":71015760,"modified":"2026-04-13T18:55:30Z","type":"item","id":"Q1864886","labels":{"en":{"language":"en","value":"Involutive bases in the Weyl algebra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1886751"}},"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":"Q1864886$690B7250-5381-4399-B922-E58EB94A4B35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a4a93505ddd15d5e54c2a96ff18acd3220c5e5d","datavalue":{"value":{"text":"Involutive bases in the Weyl algebra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864886$FD9AD1F8-A967-4161-9401-E6A6E536C020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83ea6ae5181e1f0956814986a819d2ca054e06cc","datavalue":{"value":"1054.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$B4458CC1-A6ED-4FDA-B89F-729A38C3CA23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdba7e12b4f8b0adb26d1d9f93dc8c8e21425898","datavalue":{"value":{"entity-type":"item","numeric-id":1864885,"id":"Q1864885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$426981C1-4493-490F-B156-124C1E1FA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08be31a30ca42fc5bd7aefd32542f9087b8b82b8","datavalue":{"value":{"entity-type":"item","numeric-id":349838,"id":"Q349838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$BBF11393-534F-41FF-A6CD-371023222BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c2be43a6213c57fb0b5b58b18d451e3304bb5c","datavalue":{"value":{"entity-type":"item","numeric-id":189267,"id":"Q189267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$7C9ADDC2-1536-4EE3-ACBD-86C48F22C13A","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":"Q1864886$3FBDBE63-0DE6-4BE8-A4CA-97845794EEB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29faeedccb4bb679d2c76fa40bbc73d7916c9a4d","datavalue":{"value":{"time":"+2003-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1864886$A4B34CC3-BD39-4F80-87C1-7D1016A5CF61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5258d1ee3ca3675cd70e0e7b8f2a5439daeab37d","datavalue":{"value":"Using any multiplicative order on monomials the authors show that any left ideal in a Weyl algebra has a strong Janet bases. It could be interesting to compare this with the theorem by \\textit{J. T. Stafford} [J. Lond. Math. Soc., II. Ser. 18, 429-442 (1978; Zbl 0394.16001)], showing that in characteristic zero any left ideal in a Weyl algebra is two-generated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$2739893A-6078-4DE3-AA81-3A2AB58E2CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$3616451C-D799-4C01-89C9-BE3B5309F43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$BBE93BA5-D659-40C6-B5D2-8B655D339270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25ff4efbaa090d1fbecaa7c6c5d6304a0186c648","datavalue":{"value":"16W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$8728AA3F-51D3-4149-8663-A21ABD5F346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$21214704-B081-442B-913D-6765217CD85C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"706252548ff64d804874e92d4d4589430e978c30","datavalue":{"value":"1886751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$7AA83C13-BD0D-42AA-A86F-D90933B38078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$A5A936BF-CBAA-491D-ADE3-917496ECABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75f2b3f7685adc764011a4589c451f79ccff3c9","datavalue":{"value":"Weyl algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$9F3483CC-B139-415A-93E4-677ADD6A8ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc19793005007f56af6d585e11bf2ef91ed4f406","datavalue":{"value":"involutive bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$25F9CD83-7056-401C-91DE-E7B0CC4B59AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605e9b0de94d2995208d16e8ebad7f98cd3cf0e9","datavalue":{"value":"left ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$07F7AE89-FB43-4907-A49B-4FF1D4D320A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceab840c60c1c3fdb6f392e5c1e11c468d9eabc9","datavalue":{"value":"multiplicative monomial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864886$0EA53D77-75F0-4B70-873D-4DDD16D85320","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff9c204734da989d3bd60f1269711086ca85ada3","datavalue":{"value":{"entity-type":"item","numeric-id":220946,"id":"Q220946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$3AFC7FA5-E7F1-4FB3-85C8-FE7576B204C9","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":"Q1864886$DBA0C325-DC2D-4D19-B32C-C0716EE0C683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7293d6c6625b0a8f450a7299cd5850193afff4","datavalue":{"value":"https://doi.org/10.1006/jsco.2002.0556","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864886$FC98A7E8-465C-4B08-BF43-B8E32DCB0B02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aafcc9ae0d47ae28709fb0c68010386e1bb12d68","datavalue":{"value":"W2025006498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$9516FFAD-1D28-4636-9831-7728277844DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7dd6670a66b7503f598c9f451d49f9fab174bd","datavalue":{"value":{"entity-type":"item","numeric-id":1904137,"id":"Q1904137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$E983C748-6B48-4D83-A5AA-7B490CF05B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b298f9c3dc3f9f556aa7ac1863467ea946044cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1264458,"id":"Q1264458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$F4F2A1D5-16A0-4D87-8433-0436646F6B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c614d12654578243bde3b9c1c4caa361fce93444","datavalue":{"value":{"entity-type":"item","numeric-id":5687439,"id":"Q5687439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$E3917967-48C0-4BBE-A96B-7BC93CF8D911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7978f460483eea442a1c50753b84a280106c3ea","datavalue":{"value":{"entity-type":"item","numeric-id":795113,"id":"Q795113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$20838E68-436F-410F-8C1A-125FF7BD5061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d286d02c7e57e30124c56d540933a793af97ef","datavalue":{"value":{"entity-type":"item","numeric-id":3770636,"id":"Q3770636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$74E3567B-12A8-426F-992A-3A0CC60C030C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed93c5ec49d8b7741264a40e76f0e79de67382b0","datavalue":{"value":{"entity-type":"item","numeric-id":4850051,"id":"Q4850051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$433FD75D-3A45-4B15-B8BA-32B3BC77B95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3673f1382e7e960cc6c526bc514a36bf47096cee","datavalue":{"value":{"entity-type":"item","numeric-id":3772359,"id":"Q3772359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$81924590-E66F-4E54-9522-862B02DC9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e2454e325f1401cdc8dad9a02c09685cab85c8","datavalue":{"value":{"entity-type":"item","numeric-id":1977444,"id":"Q1977444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$0735B717-4182-4986-BFBD-8D21A4798450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4937e35379ecd20ed1e686141f78373ff370e1d2","datavalue":{"value":{"entity-type":"item","numeric-id":2640744,"id":"Q2640744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$C7A2E65D-E07C-4889-94AD-DE0D7A08762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0fd57de28646e3d4ceb79e64f34a11e88f6cac","datavalue":{"value":{"entity-type":"item","numeric-id":3156401,"id":"Q3156401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$64E0CFDA-2B30-4A8E-8F35-29DB3037469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f889736410993031b2e183ce42b8c3278baf27","datavalue":{"value":{"entity-type":"item","numeric-id":1404736,"id":"Q1404736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$70756BBD-DD94-458F-A934-B0B04F71A6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2684320e7f18775d78c93c9da068ccfece027c","datavalue":{"value":{"entity-type":"item","numeric-id":1404737,"id":"Q1404737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$01066B4C-ED0C-4BAE-B3FD-F70754AFCA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d364a8676464987cd110c5024beda72c85133a","datavalue":{"value":{"entity-type":"item","numeric-id":2760212,"id":"Q2760212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$1976228A-0727-4580-954A-350E0706F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca227f3d2504d7fe9376aaf27582fb7eaa922de","datavalue":{"value":{"entity-type":"item","numeric-id":5843703,"id":"Q5843703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$DBFBE2E2-09AF-48BE-8D7B-B3DB505D4FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39e4578c7484bdb81de3234837b3ae698fb5a09","datavalue":{"value":{"entity-type":"item","numeric-id":3325833,"id":"Q3325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$7F630139-9878-4CD6-B725-0FAC047E6E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0ca70c4970d5453cb22d053535b1655add1656","datavalue":{"value":{"entity-type":"item","numeric-id":1358926,"id":"Q1358926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$2DC05EA1-6705-4BE4-B303-A7BEBA49AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a929bed22a4a8096c4177f3624fd8762cfb25","datavalue":{"value":{"entity-type":"item","numeric-id":1569839,"id":"Q1569839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$469210E3-73DD-45D7-A946-460D2BEFD439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43174cec0ebc8a92b8030a91f98be780a9d4ae59","datavalue":{"value":{"entity-type":"item","numeric-id":1962878,"id":"Q1962878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$6078B5BA-B33A-4BBD-A489-7A52B88EA8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3676473ac0ad58024671bef2874163716f9f66b4","datavalue":{"value":{"entity-type":"item","numeric-id":1248549,"id":"Q1248549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$556AEA59-8A6F-46DA-89A7-A52A48BBFFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf2a2cf9a1bb52c31ffd60f4cbf304681d2b868","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$AF87E440-E91A-4B14-8DA5-91E6DEAC57B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2752cacd6d75bb458639877858003b0f1223976a","datavalue":{"value":{"entity-type":"item","numeric-id":1180429,"id":"Q1180429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$825DCADA-0597-41B3-B1BD-30DA864DEADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3dc25f6d1b08d850aaa6a3768b73b07e50e18f","datavalue":{"value":{"entity-type":"item","numeric-id":1894546,"id":"Q1894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864886$F652958D-1D0D-4A7F-8328-FD5D1A2C5AE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39e84125deb67e6240ed61434f3b051074c4fc44","datavalue":{"value":"10.1006/JSCO.2002.0556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864886$501ED37F-2F35-4FBA-B472-85B98358CBB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9344ba2ce4fe8d3a362c4cc3e0a862196db4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4854857,"id":"Q4854857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3701c3e975e884f6124e72473dbe89d596f742","datavalue":{"value":{"amount":"+0.82951819896698","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":"Q1864886$7EA6A9B9-E57C-4E45-B9AE-635F5D8F3CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b4cadf7ac6ec1431c1933895dfacc8f165253a","datavalue":{"value":{"entity-type":"item","numeric-id":1038703,"id":"Q1038703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168caa215831a7d6ee46f1e367b3c9d3d868d525","datavalue":{"value":{"amount":"+0.8162077069282532","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":"Q1864886$4521E2AF-DE95-4540-ADD7-31AE9489486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4b98624b17d7c198cc02be9ea761db655a5a48","datavalue":{"value":{"entity-type":"item","numeric-id":4761721,"id":"Q4761721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b54f6b0391c4dccfbafa824cd3651ce7704dcd","datavalue":{"value":{"amount":"+0.8034535050392151","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":"Q1864886$4229E986-C7FB-4BA9-9603-06151FAD5D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b48127db9e9a765fbb84d2860a9c37fb555138","datavalue":{"value":{"entity-type":"item","numeric-id":3376031,"id":"Q3376031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa17f86437916a259fc8948cc6cee9d02eda1730","datavalue":{"value":{"amount":"+0.8034533858299255","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":"Q1864886$275CA8CC-080C-43AE-9993-534B5E6F6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835839c9a30fbc5669e21c4d7266a8443c0a0807","datavalue":{"value":{"entity-type":"item","numeric-id":1904137,"id":"Q1904137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd904c96935c9a3c97073414fb031b4c7bacc422","datavalue":{"value":{"amount":"+0.796815037727356","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":"Q1864886$CD36D517-4F9E-402C-92F9-29116E8395E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Involutive bases in the Weyl algebra.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Involutive_bases_in_the_Weyl_algebra."}}}}}