আপনি কি কম্পিউটার বীজগণিত সম্পর্কে চিন্তা আছে? অ্যাক্সিওম একটি কম্পিউটার বীজগণিত সিস্টেম যেখানে টাইপ সিস্টেমটি বিভাগের তত্ত্বের (বা ইউনিভার্সাল বীজগণিত, আপনার দৃষ্টিভঙ্গির উপর নির্ভর করে) মডেল করা হয়। অ্যাক্সিয়াম ফ্রিকাস এবং ওপেনএক্সিয়ামের আরও দুটি ডেরাইভেটিভ রয়েছে ।
আপনি যদি বিভাগ থিওরিতে আগ্রহী হন তবে টাইপ সিস্টেমটি এক নজরে লক্ষ্য করা যেতে পারে।
অ্যাক্সিয়োমে প্রতিটি "আইটেম" (যেমন "1", "5 * x ** 2 + 1") একটি ডোমেনের উপাদান। একটি "ডোমেন" হ'ল একটি অ্যাক্সিয়াম বস্তু যা নির্দিষ্ট বিভাগের সদস্য হিসাবে ঘোষিত হয় (যেমন: পূর্ণসংখ্যা, বহুপদী (পূর্ণসংখ্যার) xঅ্যাক্সিওম বিভাগটি একটি এক্সিয়ম অবজেক্ট যা বিশিষ্ট প্রতীক "বিভাগ" (যেমন রিং, বহুবর্ষীয়) এর সদস্য হিসাবে ঘোষিত হয় (প, ই, ভি))।
বিভাগগুলির মধ্যে একাধিক-উত্তরাধিকারের জন্য একটি উত্তরাধিকারের জাল রয়েছে। উদাহরণস্বরূপ বিভাগ মোনাড সেটগ্রাফিকেশন থেকে উত্তরাধিকার সূত্রে প্রাপ্ত, মোনাদ থেকে মনোয়েড, মনোয়েড থেকে গোষ্ঠী ইত্যাদি ইত্যাদি its
জাভাতে জেনেরিক্সের মতো কিছুটা হাই-অর্ডার পলিমারফিজমও রয়েছে।
অ্যাক্সিয়মের বেশ কয়েকটি ক্রিয়াকলাপকে ফান্টাক্টর হিসাবে দেখা যেতে পারে, তবে এখানে toোকা যাওয়া বরং অনেক কিছু হবে!
আপনি যদি কেবলমাত্র একটি সাধারণ শেষ ব্যবহারকারী হিসাবে বিভাগ তত্ত্ব সম্পর্কে চিন্তা না করেই অ্যাক্সিম ব্যবহার করতে চান তবে প্রতীকী গণনা সিস্টেমটি পৃথক বীজগণিতগুলি অনুসন্ধান করার জন্য ঠিক একটি সফ্টওয়্যারটির সঠিক অংশ।