تطبيع

Normaliz هو نظام جبر حاسوبي مجاني طُوِّر بواسطة وينفريد برونز، وروبرت كوخ (1998-2002)، وبوغدام إيشيم (2007/2008)، وكريستوف سوغر (2009-2016). وهو منشور بموجب رخصة جنو العمومية العامة الإصدار 2.

يحسب برنامج Normaliz نقاط الشبكة في المجسمات متعددة الأوجه النسبية ، أو بعبارة أخرى، يحل أنظمة المعادلات والمتباينات والتطابقات الديوفانتية الخطية. ومن مهامه الخاصة حساب نقاط الشبكة في المجسمات متعددة الأوجه النسبية المحدودة وقواعد هيلبرت للمخاريط النسبية. كما يحسب Normaliz البيانات العددية، مثل التعددية (الأحجام) ومتسلسلات هيلبرت . ويعتمد Normaliz في جوهره على مكتبة فئات C++ ذات قوالب. أما بالنسبة للحسابات متعددة المتغيرات متعددة الحدود، فيستخدم مكتبة CoCoALib .

تتكامل مكتبة Normaliz مع العديد من أنظمة الجبر الحاسوبي العامة، مثل CoCoA و GAP و Macaulay2 و Singular . ويمكن استخدامها بشكل تفاعلي عبر واجهة Python الخاصة بها، PyNormaliz. ويجري حاليًا التحضير لاستخدامها في SageMath.

يستشهد Jesús A. De_Loera بـ Normaliz من بين برامجه المفضلة لحساب أساس هيلبرت . ^{[ 2 ]}

• مقارنة أنظمة الجبر الحاسوبي

• الموقع الرسمي
• منشورات وأمثلة لتطبيقات Normaliz
• http://github.com/normaliz/Normaliz