وجافا الجبر النظام (أو JAS قصيرة) هو مفتوح المصدر، توزيعها مجانا، وجوه المنحى، ونوع آمن البرمجيات الجبر الكمبيوتر التي تدعم لينكس التشغيل على أساس نواة systems.Implemented في ملامح مشروع البرمجة اللغةيوروبيجيز جافا متعددة الخيوط مكتبة البرامج مصممة بشكل جيد وتعمل بكامل طاقتها يستخدم الأنواع العامة لجعل الحسابات الجبرية باستخدام JVM (آلة جافا الافتراضية) البنية التحتية وقت التشغيل. ويتم تنفيذ ذلك في برمجة جافا language.Can أن تستخدم بشكل تفاعلي، فسرت عبر JRuby ويهدف البرنامج JythonThe لاستخدامها بشكل تفاعلي، فسرت عبر JRuby (جافا روبي) أو جايثون (جافا بيثون) الأمامية، أو مثل أي برنامج جافا الآخرين الحزمة. وهو التطبيق الروبوت موجود أيضا، استنادا إلى Ruboto (jruby لالروبوت) .Getting بدأت مع جافا الجبر SystemFor راحتك، يتم توزيعها على حد سواء ملف ثنائي بنيت قبل في شكل JAR، فضلا عن حزمة مصدر البرنامج جافا الجبر النظام . في حين أن ملف JAR يتيح لك استخدام جافا الجبر النظام في المشروع الخاص بك (ق) على الفور، حزمة مصدر يتيح لك الإختراق رمز وذلك على الوجه الأمثل.
لعرض رسالة استخدام التطبيق، تشغيل وسقوو]؛ جافا جرة JAS-2.5.5065-bin.jar وسقوو]؛ الأمر في برنامج محاكي الطرفية، والتأكد من أنك في المكان الذي و[رسقوو]؛ هاء حفظ الملف JAR. الرسالة الاستخدام تبدو مثل هذا: & [لدقوو]؛ الاستعمال: RunGB [يليها | يليها + | قدم المساواة | قدم المساواة + | حي | حي + | disthyb | disthyb + | المبادرة القطرية [ميناء]] <ملف> # procs / # threadsPerNode [machinefile] [الاختيار] [nolog ] و [ردقوو]؛ يعمل على أي نظام تشغيل حيث يتم availableBeing مكتوبة جافا في لغة البرمجة جافا، يمكن تشغيل البرنامج جافا الجبر النظام على أي نظام تشغيل الكمبيوتر حيث بيئة جافا (JRE) التكنولوجيا المتاحة، بما في ذلك جنو / لينكس، مايكروسوفت ويندوز ، BSD، وسولاريس، و Mac OS X. ويدعم حاليا وعلى منصات كمبيوتر 64 و 32 بت
ما هو الجديد في هذا الإصدار:.
هذا الإصدار يضيف حزمة جديدة edu.jas.fd لللحل متعدد الحدود القاسم المشترك الحساب.
وسيتضمن خوارزميات للنطاقات (غير فريد) إلى عوامل.
هناك طرق لالزائفة متعدد الحدود تبقى على حساب المجالات خام في الصف FDUtil.
يتم تضمين أساليب أكثر لالمقسومات مشتركة، ولكن لم تنته بعد.
وكانت MPJ وMPI تطبيقات مزيد من التقارب وتنظيفها.
وتنشر Javadocs للطبقات محول JLinAlg.
ما هو الجديد في الإصدار 2.5.4688:
المجال حاصل قابلة للحل كما جديدة للحل المحلية عصابة بقايا SolvableLocalResidue MODULO مثالية. متعددو الحدود قابلة للحل العامة الجديدة QLRSolvablePolynomial مع معاملات العامة abstacted فم حاصل قابلة للحل، أودر المحلية-بقايا عصابات المحلية. تنفيذ المقابلة واجهات QuotPair وQuotPairFactory في فصول منها. ضبط وتوسيع أمثلة البرمجة النصية للفئات جديدة. الخلافات إزالتها والإصدارات تنظيف مختلفة من تشغيل * GB بذاتها برامج قاعدة Grobner.
ما هو الجديد في الإصدار 2.5.4658:
النسخة الروبوت من JAS، استنادا إلى Ruboto (JRuby لالروبوت)، متاح الآن مع رمز قعت ويمكن تركيبها مباشرة.
هذا الإصدار يحتوي على خوارزميات جديدة لأقل مضاعفات المشتركة ومحاكمة القاسم المشترك الأكبر في حلقات متعدد الحدود قابلة للحل.
بالإضافة إلى ذلك، simplifier الكنسي APEL-Lassner لحواصل قابلة للحل هو متاح.
كان مطلوبا إعادة بيع ديون بعض لكسر دورات الاعتماد على الحزمة.
تم حل أكثر القضايا Findbugs.
لقد تم إسقاط جافا 5 التوافق.
ما هو الجديد في الإصدار 2.5.4618:
هذا الإصدار يحتوي على خوارزميات جديدة موزعة قاعدة Grobner على أساس ربط جافا من OpenMPI بالمثل إلى إصدار MPJ.
ونظرا لأن كلا MPI وMPJ لا موضوع آمنة، في جميع أنحاء العمل تم تطوير لتقسيم طبقة النقل للسماح للاختيار من مآخذ / IP TCP أو قنوات MPI / MPJ للنقل.
جدول التجزئة توزيعها استنادا مأخذ تنفذ الآن طريقة واضحة ()، الذي يحل أخطاء غير محددة في توزيع كرر Grobner الحسابية الأساسية.
تم تبسيط الضرب قابلة للحل.
وقد بذلت إصلاحات وتحسينات لجايثون وJRuby البرامج النصية.
ما هو الجديد في الإصدار 2.5.4555:
هذا الإصدار يضيف خوارزميات جديدة للحلقات قابلة للحل متعدد الحدود على مدى حلقات المحلية قابلة للحل في فصول LocalSolvablePolynomialRing وLocalSolvablePolynomial وأمثلة البرمجة الجديدة لمثل هذه الحلقات متعدد الحدود قابلة للحل .
تم بإعادة هيكلة التعامل مع العلاقات غير تبادلي من متعددو الحدود قابلة للحل لتنفيذ واستخدام RelationGenerator الواجهة.
وقد تم إصلاح بعض مزيد من Findbugs والكسوف القضايا والعديد من المشاكل مع jruby من الروبوت وتحسينها.
ما هو الجديد في الإصدار 2.5.4448:
هذا الإصدار يجلب خوارزميات جديدة للحلقات متعدد الحدود قابلة للحل متكررة وحلقات متعدد الحدود قابلة للحل جديدة مع معاملات حاصل قابلة للحل.
هذه حلقات ميزة الضرب غير تبادلي من المتغيرات مع معاملات.
وهناك أمثلة البرمجة الجديدة للحلقات متعدد الحدود قابلة للحل متكررة ومتعددو الحدود قابلة للحل مع معاملات حاصل قابلة للحل.
ما هو الجديد في الإصدار 2.5.4408:
يوفر هذا الإصدار خوارزميات جديدة من أجل المثل العليا في حلقات متعدد الحدود قابلة للحل في الصف SolvableIdeal، وهياكل جديدة للحلقات متعدد الحدود قابلة للحل في فصول SolvableQuotient، SolvableResidue ، والمصانع المقابلة SolvableQuotientRing وSolvableResidueRing.
هناك موضوع جديد للتوثيق rdoc روبي، وقد تم تكييف البرامج النصية إلى إصدار أحدث من jruby (1.7.3).
يتم تضمين بعض التصحيحات الصغيرة والتحسينات.
ما هو الجديد في الإصدار 2.5.4358:
وAPI جافا سيكون أكثر استقرارا من الآن فصاعدا.
فإنه يحدد حالة تعارض في توزيع (الهجين) Grobner تطبيقات قاعدة ويحسن النسخة MPJ من حسابات GB.
لقد تغير GBFactory، وتمت إضافة خيار جديد لتحديد Gebauer & مولر زوج بالغ الأهمية في التعامل مع GBAlgorithmBuilder.
تم تغيير الدقة الافتراضية BigDecimal إلى DECIMAL128.
تم تحسين تنفيذ GreatestCommonDivisorHensel باستخدام نقاط تقييم صحيح ومزيد من التحسينات.
ما هو الجديد في الإصدار 2.4.4308:
يوفر هذا الإصدار تحسينات الأداء في الغالب، وإدخال تحسينات صغيرة، وإصلاحات.
وتشمل تحسينات الطرق لمتعددو الحدود مجتمعة مثل scaleSubtractMultiple (ب، ز، A، E، S) لحساب التعبير ومثل؛ ب س ^ ز هذا - الفأس ^ ه S & مثل. في واحدة الذروة.
وهناك الآن النسخة الأولى من JAS الروبوت التطبيق.
التطبيق يستخدم واجهة برمجة JRuby ويعمل ضمن روبي IRB الروبوت التطبيق Ruboto.
ما هو الجديد في الإصدار 2.4.4278:
هذا الإصدار يحتوي على خوارزميات موزعة قاعدة Grobner جديدة تقوم على MPI عن التواصل منتصف وير.
يستخدم تنفيذ API MPJ (MPI جافا) ويمكن تشغيل مع أي MPJ Express أو FastMPJ.
الطبقات تنفيذ وGroebnerBaseDistributedMPJ للنسخة وزعت النقي، وGroebnerBaseDistributedHybridMPJ للإصدار الموزعة ومتعددة الخيوط.
ما هو الجديد في الإصدار 2.4.4228:
هذا الإصدار يحتوي على أجزاء جديدة مجانا غير تبادلي حساب قاعدة Grobner والحد من متعدد الحدود.
وهو يتألف من واجهة WordGroebnerBase جديدة وفئات جديدة WordGroebnerBaseAbstract وWordGroebnerBaseSeq.
يتم توفير جايثون وjruby الوصول إلى متعددو الحدود غير تبادلي مع WordPolyRing الطبقات وWordIdeal.
بالإضافة إلى ذلك، هناك طريقة محسنة لتحديد (تبادلي) تطبيقات خوارزمية قاعدة Grobner مع GBAlgorithmBuilder الطبقة. على سبيل المثال، خوارزمية المجانية جزء مع تعظيم الاستفادة من النظام متغير.
ما هو الجديد في الإصدار 2.4.4008:
هذا الإصدار يضيف المزيد من الأمثلة JRuby، بوجفيكسيس لقواعد الحق وحدة Grobner وجذور متعددة الحساب، وبوجفيكسيس لمشاكل ذات مغزى رصدت من قبل findbugs.
ما هو الجديد في الإصدار 2.4.3938: refactors
هذا الإصدار ويحدد خوارزميات لوو-RITT مجموعات مميزة في فئة CharacteristicSetWu. اختبارات وحدة في CharSetTest.
جايثون وJRuby النصي الوصول إلى خوارزميات مجموعة مميزة في أساليب CS ()، ISCS ()، وcsReduction ().
إصلاحات وتحسينات صغيرة.
ما هو الجديد في الإصدار 2.4.3888:
إعادة بيع ديون لتبسيط نوع المعلمات وتخفيف الشروط النوع.
حزمة edu.jas.ufdroot جديدة لإزالة تبعيات حزمة دوري مرة أخرى.
تحسن اختيار تطبيقات التعميل في فصول FactorFactory والصانعين أكثر ملاءمة للتطبيقات التعميل.
إصلاحات وتحسينات صغيرة.
ما هو الجديد في الإصدار 2.4.3851:
هذا الإصدار تنفذ المتغيرات وحدات والإصدارات وكيل موازية من الخوارزميات الناتجة، وينظف ويملأ طرق المفقودة في GreatestCommonDivisor * الفئات في edu.jas حزمة .ufd، بإصلاح ModLong لتحويل ModInteger، ويضيف إصلاحات صغيرة، والتحسينات، وrefactorings من الأساليب للالطبقات الصحيحة.
ما هو الجديد في الإصدار 2.4.3828:
تحولت إلى جافا 7 من أجل التنمية.
سوف JAS لا يزال تجميع وتعمل على جافا وجافا 6 5.
وrepositoriy جديدة على الإنترنت لJAS كود جوجل والذي يحتوي على علة تعقب.
تعريف المتغيرات للمولدات حلقة متعدد الحدود في جايثون وjruby واجهة البرمجة النصية.
المزيد من JRuby الأمثلة.
ما هو الجديد في الإصدار 2.4.3788:
الافراج عن 2.4 التحديثات كل حزم وفقا لأحدث نسخة وتستعد لJAS 3.0. تحديثات لجايثون 2.5.2 وJRuby 1.6.4. مؤشر جديد لجميع خوارزميات من الخوارزميات كتاب الجبر للكمبيوتر عن طريق غيدس وCzapor وLabahn لحكمه JAS بهم. تحسينات وإصلاحات صغيرة مرة أخرى في متعدد المتغيرات إلى عوامل متعدد الحدود لا يتجزأ.
ما هو الجديد في الإصدار 2.3.3668:
وأضيف التجريبي المثالي حساب الجذر تعقيدا في complexAlgebraicRoots () أسلوب في فئة PolyUtilApp.
تم تنفيذ بسيط عزل صقل الفاصل لجذور حقيقية ومعقدة.
وأضيف العوملة بديل من متعددو الحدود حيد المتغير على حقول عدد الجبرية عن طريق التحلل المثالي رئيس في فئة FactorAlgebraicPrim.
تم تحسين إعراب الأعداد المركبة.
ويضطر أوامر المصطلح في بعض الحالات. أدخلت تحسينات وإصلاحات صغيرة أخرى.
ما هو الجديد في الإصدار 2.3.3598:
متعدد المتغيرات ملحقات جبري حلقة / الحقل باستخدام الطبقة ResidueRing. Jruby جيثون والإصدارات وأمثلة من باني الحقل التمديد. التحسينات الصغيرة وإصلاح الأخطاء لأحدث الكسوف وجاوة 1.7 الإصدار.
ما هو الجديد في الإصدار 2.3.3568:
سهلة الاستخدام البناء للأبراج من الحقول الإرشادية في الدرجة ExtensionFieldBuilder مع طرق جبري وملحقات الحقل المتعالية.
تحسينات في أرقام الجبرية حقيقية ومعقدة.
تحسين محلل متعدد الحدود لتمثيل متكررة.
إصلاحات الشوائب الصغيرة.
ما هو الجديد في الإصدار 2.3.3538:
HenselMultUtil الطبقة الجديدة من أجل رفع متعدد المتغيرات هينسيل. وسوف تستخدم في التعميل polyomial في المستقبل. بعض أجزاء المقسوم المشترك الأكبر باستخدام متعدد المتغيرات هينسيل رفع. المصدر JAS (r3408) يجمع على اباتشي الوئام 6.0 (r991881). الاختبارات وحدة تمر باستثناء الحالات التي تنطوي على اختبار التسلسل الكائن.
ما هو الجديد في الإصدار 2.3.3458:
تم تنظيف هيكل حزمة صعودا وأزيلت كافة التبعيات حزمة دوري.
تم تقسيم مصنع أجزاء من تحليل GenPolynomialTokenizer إلى RingFactoryTokenizer.
كان مطلوبا بعض رمز الاصطناعي لاستخدام متعددو الحدود قابلة للحل بوصفها عناصر عصابة لمتعددو الحدود قابلة للحل لا يمكن تنفيذ RingElem.
وأدى ذلك في حالات طريقة غير صحيحة إيفاد لطريقة تتكاثر () بسبب التحسينات مترجم.
حلا لكشف وإصلاح هذا يتم تنفيذ الآن في فئة GenPolynomial.
ما هو الجديد في الإصدار 2.3.3408:
اختيار الزوج critial جديدة لGrobner قاعدة comptation مع نقطة الاقتران خوارزمية مقرها بعد Gebauer ومولر في الصف OrderedSyzPairlist. إعادة بيع ديون من الفئات الأساسية Grobner إلى اختياريا استخدام اختيار زوج جديد. ميناء الخلفي من بعض JDK 1.6 يبني لتكون متوافقة مرة أخرى مع JDK 1.5. التحسينات الصغيرة في كرونيكير عامل الجمع في الصف FactorAbstract. حالة تعارض ثابتة في ThreadPool وتحسين الكشف عن هذا الإنهاء في المنهي. الإصلاحات في موازاة خفضت Grobner الحسابية الأساسية. البناء متعدد الحدود وحيد المتغير الثابت في مثالية.
ما هو الجديد في الإصدار 2.3.3368:
متعدد المتغيرات تايلور واجهة توسع سلسلة والتنفيذ.
لتحسين سلسلة قوة متعددة المتغيرات لمعيار أساس الحساب.
تم ريفاكتوريد الأساليب لفصول أكثر ملاءمة، وتم نقلها الطبقات لفصل حزم، على سبيل المثال حاصل * إلى edu.jas.ufd الحزمة.
وقد تم إصلاح الخلل الصغيرة والقضايا التجميل.
ما هو الجديد في الإصدار 2.3.3328:
سلسلة قوة متعددة المتغيرات في فصول MultiVarPowerSeries وMultiVarPowerSeriesRing.
خوارزمية تخفيض مخروط الظل مورا ومعيار احتساب قاعدة لسلسلة السلطة في edu.jas.ps. حزمة
مكرر على نواقل الأس.
ما هو الجديد في الإصدار 2.3.3298:
هذا الإصدار يتميز iterators لمحدود وبعض الهياكل لانهائية، والمنتجات الديكارتية محدود وبلا حدود منهم.
كانت ثابتة الصانعين للامتثال ل(جديد) جافا نموذج الذاكرة.
كانت هناك أيضا بوجفيكسيس صغيرة والتحسينات، والاستثناءات أكثر وضوحا، وبعض تسمية.
ما هو الجديد في الإصدار 2.3.3248:
تحسين محلل متعدد الحدود لقبول أعداد عقلانية تدل مع النقاط العشرية وقبول معاملات BigDecimal. إزالة استخدام تسطير لمعاملات عدد algebriac في محلل متعدد الحدود. الآن يتم تشغيل كل مكالمة متكررة من تحليل () من مصنع حلقة من الأقواس التي يمكن أن تتداخل إلى أي عمق. علة تزامن ثابت في الجداول قابلة للحل بالنسبة متعدد الحدود وخلل في الموازاة مواز للحل متعدد الحدود قاعدة Grobner الحساب. وأضاف الأجزاء المتبقية لالتعميل في حلقات كثيرات الحدود من ص مميزة و GT. 0. غيرت rpresentaton النصي من AN (AlgebraicNumbers). استخدام حمامات موضوع غير محدود لتجنب أقفال الميتة.
ما هو الجديد في الإصدار 2.3.3218:
وقد خفضت رمز للغة جافا 5 ووقت التشغيل نظام للاستخدام مع أنظمة الاعتماد على الإصدارات القديمة جافا، على سبيل المثال MathPiper والبرنامج تماشيا.
وأضيف الطبقة edu.jas.kern.TimeStatus لتوفير ردود فعل المستعملين للمهام تشغيل طويلة عبر طريقة checkTime ().
تم تنفيذ بعض extGB () أساليب المفقودة.
وأضيف GBFactory لاختيار المناسبة Grobner تطبيقات قاعدة.
تم إضافة طريقة isFinite () لجميع ElemFactorys والاستخدام في SquarefreeFactory.
أضيفت بعض الأجزاء المفقودة لالتعميل في حلقات كثيرات الحدود من ص مميزة و GT. 0 والتحلل المثالي.
ما هو الجديد في الإصدار 2.3.3188:
مصنع جديد لGrobner تطبيقات خوارزمية قاعدة هو في GBFactory الصف.
وGBProxy الجديد هو، مثل GCDProxy، وقادرة على تشغيل متتابعة والموازي Grobner قاعدة حساب في وقت واحد.
ويتم تنفيذ بدائي عنصر حساب عبر normalPositionFor () في primitiveElement أساليب () جنبا إلى جنب مع العديد من الأساليب تحويل convertToPrimitiveElem ().
وهناك مؤشر جديد للجميع خوارزميات من كتاب القواعد Grobner التي كتبها بيكر وWeispfenning إلى JAS أي ما يعادل التنفيذ.
المتطلبات:
أوراكل جافا الإصدار القياسي للبيئة وقت التشغيل
لم يتم العثور على التعليقات