{"entities":{"Q2051592":{"pageid":2062334,"ns":120,"title":"Item:Q2051592","lastrevid":78414956,"modified":"2026-05-06T11:32:23Z","type":"item","id":"Q2051592","labels":{"en":{"language":"en","value":"An involutive GVW algorithm and the computation of Pommaret bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7433042"}},"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":"Q2051592$DA42A5D1-9DDD-4E3C-8F45-E6DAAF33D3C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"926c9076b68ee21b31ca4686579432d4080d8327","datavalue":{"value":{"text":"An involutive GVW algorithm and the computation of Pommaret bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2051592$5F8CDE82-B84A-496A-92AF-C6CE27880632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b51b3a5ce16aeb2e6e8346bf3a6bc29e0ee56cdc","datavalue":{"value":"1505.13039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$2007D0AA-5F4E-4C34-B49E-EDB80A08BA9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4264c52933ca1d1cae1b392975e293db66c7e308","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$B33CABB6-C76D-496A-A006-166CA98A8862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1320d5672a45fbf562421bb0c1dc90a1717c0393","datavalue":{"value":{"entity-type":"item","numeric-id":2051591,"id":"Q2051591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$5E87D5C2-C653-40A4-AB64-60A213465D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47139db7afe5e01efa241db8ed3791c2adb352ad","datavalue":{"value":{"entity-type":"item","numeric-id":335928,"id":"Q335928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$2837D4C3-9572-4D98-B9DF-234C95DF66E7","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":"Q2051592$4C977E9E-065A-4E62-AA4A-013CC919A2D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$BB65D9E2-1298-4D43-BD3C-4A2C3B3FA299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f514d788c7189561054f85987d5959a8ca7fefe","datavalue":{"value":{"time":"+2021-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2051592$70FA3696-2817-467E-B626-D792E6C75116","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91f61f5c7c9b8a316b6e64093ba96c178529bd11","datavalue":{"value":"Several algorithms computing Gr\u00f6bner bases have been introduced after Buchberger's algorithm in 1965. Among them, \\textit{S. Gao} et al. proposed an algorithm [Math. Comput. 85, No. 297, 449--465 (2016; Zbl 1331.13018)] that computes simultaneously Gr\u00f6bner bases of a given ideal and of the syzygy module of the given generating set. This algorithm is often referred to as GVW algorithm.  In this paper, the authors present two variants of GVW algorithm that compute involutive bases. The first one is a fully involutive GVW algorithm because it determines an involutive basis both for the given ideal and its syzygy module. The second one is a semi-involutive one, in the sense that it computes an involutive basis for the given ideal and a Gr\u00f6bner basis for the syzygy module. The authors highlight benefits and issues of both variants. A prototype implementation in Maple 2019 is available, and the authors describe it in the paper giving some benchmark computations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$9756FCE3-0015-4FF8-B4E2-664E06AB727C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7822fed1fa01e92e42ea9bf78e3f0c0fc49b9efd","datavalue":{"value":{"entity-type":"item","numeric-id":509557,"id":"Q509557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$F1750372-6393-4FD6-9175-5D9EF19551D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$F215BE9F-07DE-4C31-B743-01644527E6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$79FEA334-FCCF-451D-8AE5-7C91E80D40E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"079b8cde4110ed96256a694e7542573c5f791718","datavalue":{"value":"7433042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$170F4109-8C79-437E-8554-FC1BAEEB5A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$77EC1115-ADB1-408B-B73E-F37541DF7673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5023897ec9d3342789edb939d61d76a432c70635","datavalue":{"value":"module of syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$E340B0EC-8698-44D3-BB22-EE46966AC66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783e623dd5e268aa4411cfda34b497a533d05a59","datavalue":{"value":"signature-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$25529232-96F5-4E7C-937B-94DC87E9A4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140d82122f9516071fb6ed88a3ca4e0067ed6453","datavalue":{"value":"GVW algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$67EFE714-E923-4FC1-9ABA-9C89F9E45D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc19793005007f56af6d585e11bf2ef91ed4f406","datavalue":{"value":"involutive bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$8CBAA871-2E81-41B9-9BD2-BAB6F0D6802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df35f1cf64f34def3f78f997c50a84d9263fc61","datavalue":{"value":"quasi-stable position","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$F9DC1609-73AD-4F4D-9047-FC2619BE6690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a346883ba1d245d825f99b754084afacf8553d5","datavalue":{"value":"linear coordinate transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$BBA4D9CC-C479-4D4A-90A7-9097116A66C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a46efd158f65d0895abb4741f653411562823c","datavalue":{"value":"Pommaret bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051592$636D4ADF-5870-4C03-8C22-073623C15AFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$7E53D06C-94E4-4EB6-B76A-5AE861B71AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fc09644bdf89107be7cb66c22d509971a9c1a8a","datavalue":{"value":{"entity-type":"item","numeric-id":5975129,"id":"Q5975129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$86D1E857-0406-40D1-BC6A-26633DB3C936","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":"Q2051592$7C7217F2-730F-4019-B7B2-571F0F72E300","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4857f4dc3ef2e25ef5e6a4b82c96890b12f26a8","datavalue":{"value":"https://doi.org/10.1007/s11786-021-00512-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2051592$A9AF10E6-A2A3-422E-A790-DA376A59AE7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"262610987744d71b7ec1e4f6cb321bbc58aec4b4","datavalue":{"value":"W3156622747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$657C6D7D-7B2E-4BDA-B31A-E42FAB6899CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14673c2314875694fc63ec0f32786c37d2b3fddd","datavalue":{"value":{"entity-type":"item","numeric-id":1798305,"id":"Q1798305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$49E9A65F-061A-46A5-9DB1-446CECFC94A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$294EF59A-5911-4F1C-B578-CC79454E8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$64687A57-27E6-4D4A-9412-92B47CD243EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a68a509eadf6111b0e06ec4b721711237d6038","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$B23CD433-5CE1-4B97-ACD7-B548E79BBFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b6d4fbabfa85170c6a6897ab0919170fbd0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2946515,"id":"Q2946515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$8FE7CCEB-8575-4935-AFF8-7E7778A95412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93c255e172ca1e076028fc2d3d4ba5a02e8ede4","datavalue":{"value":{"entity-type":"item","numeric-id":3450045,"id":"Q3450045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$7A0E3FB2-A6A6-4F25-8F9F-31BC4E445CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbae617fb6e166742561c17d105ae1ea0ce6a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$4156B337-0AF9-4B06-8994-4A8E72B39D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d174c9a1fc229a9b3c9b824da23a90a30b0af21","datavalue":{"value":{"entity-type":"item","numeric-id":2702007,"id":"Q2702007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$5C527977-86B5-4B30-8740-34F44F988F35","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":"Q2051592$232BF2B3-86BB-4CAE-823C-0072D9A43E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f26410a200d96b6ec28285cb14d6486eb793d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1680155,"id":"Q1680155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$3615E381-3DC2-4733-A129-0CD1B2A275CA","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":"Q2051592$4604DCA6-4C20-476C-8ACB-A651F8A51227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b111c78f65431dba270e4d96269358d17389a5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2440326,"id":"Q2440326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$ECCB945E-7C1A-4E87-855C-C6F2B178F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8ec768095f75f4c2e4a6d7a0ddb51c35b50895","datavalue":{"value":{"entity-type":"item","numeric-id":1730310,"id":"Q1730310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$50669662-B037-4469-8AD0-0083EB4E3508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bbb008a97901b6864246c34dae06398b9e67d5","datavalue":{"value":{"entity-type":"item","numeric-id":4234258,"id":"Q4234258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$75B8CCF3-2278-4595-AB3C-01B9D4427E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36218440c715d5828f325600ba88a3ad614c1ed","datavalue":{"value":{"entity-type":"item","numeric-id":1038702,"id":"Q1038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$FF404DA6-BB6B-4DCE-81FE-E712DDA4E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5681cd40be53d60351d04777dd2544753130345","datavalue":{"value":{"entity-type":"item","numeric-id":1018922,"id":"Q1018922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$3921A54F-0E57-46B0-8E54-F39A69F7B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20887ed8a89212e4ab3b4de4bf5ede55bb78f104","datavalue":{"value":{"entity-type":"item","numeric-id":530403,"id":"Q530403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051592$94664230-9A96-4E0B-A5EA-32F86CC02BEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28800d863833feacec68f4d45e7da95071f9a45c","datavalue":{"value":"10.1007/S11786-021-00512-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051592$A5399457-A9E4-46A0-8EB6-619F7D6E98EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db131373a9a18d22e6ed4b0f7acc329f931da0c","datavalue":{"value":{"entity-type":"item","numeric-id":1798305,"id":"Q1798305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ccfe6f4eac534f2d4584c3e03eab6a484fdd00","datavalue":{"value":{"amount":"+0.8425502777099609","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":"Q2051592$9AC338E2-C6C5-4F46-817C-4DB3DE076F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69205a116eacd754d6c5522549306a1269469069","datavalue":{"value":{"entity-type":"item","numeric-id":2829991,"id":"Q2829991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d3556a694e2c7e36ca8a09374e2986b6a28a51","datavalue":{"value":{"amount":"+0.8029007315635681","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":"Q2051592$C85BDDA4-4739-4647-8484-37B3B9BA2466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921d04b4a9ae32adf143fee6bcc74f1d8234d30e","datavalue":{"value":{"entity-type":"item","numeric-id":2858324,"id":"Q2858324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6842414c8954ef8d1984ffe493642012a38ad","datavalue":{"value":{"amount":"+0.7996976375579834","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":"Q2051592$7ABE99E6-970F-471D-9A1E-005FD1D35C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2938a45c839d48a77ae16d7ec1ff7b1a2cc6fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2121217,"id":"Q2121217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2ed1d546bb74b084ff747d68e2d00ae74dc083","datavalue":{"value":{"amount":"+0.7986370921134949","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":"Q2051592$287FFF6C-2C93-4D95-981D-3FE680EFDBF4","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":"faeaca131c8fad007350a3ebd180c7d94b699ca5","datavalue":{"value":{"amount":"+0.7976140379905701","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":"Q2051592$09699E46-D35D-47F2-B4DD-3C37A77E705D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An involutive GVW algorithm and the computation of Pommaret bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_involutive_GVW_algorithm_and_the_computation_of_Pommaret_bases"}}}}}