ginsh - آنلاین در ابر

برنامه:

نام

ginsh - پوسته تعاملی GiNaC

خلاصه

جینش [فایل...]

شرح

جینش یک نمای تعاملی برای چارچوب محاسبات نمادین GiNaC است. این است
در نظر گرفته شده به عنوان ابزاری برای آزمایش و آزمایش ویژگی های GiNaC، نه به عنوان یک
جایگزینی برای سیستم های جبر رایانه ای تعاملی سنتی. اگرچه می تواند کارهای زیادی انجام دهد
چیزهایی که این سیستم های سنتی می توانند انجام دهند، ginsh هیچ ساختار برنامه نویسی مانند آن را ارائه نمی دهد
حلقه ها یا عبارات شرطی اگر به این قابلیت نیاز دارید به شما توصیه می شود بنویسید
برنامه شما در C++، با استفاده از چارچوب کلاس GiNaC "بومی".

طریقه استفاده

INPUT FORMAT
پس از راه اندازی، ginsh یک اعلان ("> ") نشان می دهد که نشان می دهد که آماده پذیرش شما است.
ورودی ورودی قابل قبول عبارت‌های عددی یا نمادین متشکل از اعداد هستند (مثلاً
42, 2/3 or 0.17، نمادها (به عنوان مثال x or نتیجه)، عملگرهای ریاضی مانند + و *و
توابع (مثلا بدون or طبیعی). هر عبارت ورودی باید با یکی خاتمه یابد
نقطه ویرگول (;) یا کولون (:). اگر با نقطه ویرگول خاتمه یابد، ginsh آن را ارزیابی می کند
بیان و نتیجه را در stdout چاپ کنید. اگر با کولون خاتمه یابد، جینش فقط انجام می شود
عبارت را ارزیابی کنید اما نتیجه را چاپ نکنید. امکان وارد کردن چندگانه وجود دارد
عبارات در یک خط فضای خالی (فضاها، برگه ها، خطوط جدید) را می توان آزادانه بین آنها اعمال کرد
نشانه ها برای ترک جینش وارد شوید ترک or خروج، یا یک EOF (Ctrl-D) را در اعلان تایپ کنید.

نظرات
هر چیزی به دنبال یک اسلش دوتایی (//) تا انتهای خط و شروع تمام خطوط
با علامت هش (#) به عنوان یک نظر تلقی می شوند و نادیده گرفته می شوند.

شماره
ginsh اعداد را در نمادهای اعشاری معمول می پذیرد. این شامل دقت دلخواه است
اعداد صحیح و گویا و همچنین اعداد ممیز شناور در استاندارد یا علمی
نشانه گذاری (مثلا 1.2E6). قاعده کلی این است که اگر یک عدد دارای یک نقطه اعشار باشد
(.، یک عدد ممیز شناور (غیر دقیق) است. در غیر این صورت یک عدد صحیح (دقیق) یا است
گویا. اعداد صحیح را می توان به صورت باینری، اکتال، هگزادسیمال یا دلخواه مشخص کرد (2-36)
با پیشوند آنها با #b, #o, #x، یا #nR بود.

نمادها
نمادها از رشته ای از نویسه های الفبایی و زیرخط (_)، با
کاراکتر اول غیر عددی است. به عنوان مثال a و mu_1 نام های نماد قابل قبولی هستند، در حالی که
2pi نیست. می توان از نمادهایی با نام های یکسان به عنوان توابع استفاده کرد (مثلاً بدون);
ginsh قادر است بین این دو تمایز قائل شود.

نمادها را می توان با وارد کردن مقادیر نسبت داد
نماد = بیان;

برای لغو اختصاص مقدار یک نماد اختصاص داده شده، تایپ کنید
لغو تخصیص('نماد')؛

نمادهای اختصاص داده شده به طور خودکار ارزیابی می شوند (= با مقدار اختصاص داده شده خود جایگزین می شوند).
آنها استفاده می شوند. برای رجوع به نماد ارزیابی نشده، نقل قول های تکی قرار دهید (') اطراف نام،
همانطور که برای دستور "unassign" در بالا نشان داده شد.

نمادها به طور پیش‌فرض در حوزه پیچیده در نظر گرفته می‌شوند، یعنی طوری رفتار می‌شوند که انگار
آنها برای اعداد مختلط قرار می گیرند. این رفتار را می توان با استفاده از کلمات کلیدی تغییر داد
نمادهای_واقعی و نمادهای_پیچیده و تمام نمادهای تازه ایجاد شده را تحت تأثیر قرار می دهد.

نمادهای زیر ثابت‌های از پیش تعریف‌شده‌ای هستند که نمی‌توان آن‌ها را مقداری به آن اختصاص داد
کاربر:

Pi ثابت ارشمیدس

کاتالان ثابت کاتالان

اویلر اویلر-ماسکرونی ثابت

I sqrt(-1)

FAIL یک شی از کلاس GiNaC "fail".

خاص نیز وجود دارد
شماره
نمادی که دقت عددی محاسبات را با اعداد غیر دقیق کنترل می کند.
اختصاص یک عدد صحیح به ارقام، دقت را به عدد داده شده تغییر می دهد
ارقام اعشاری

WILDCARDS
توابع has()، find()، match() و subs() نویسه‌های عام را به‌عنوان متغیرهایی می‌پذیرند
اصطلاحات. اینها نحو دارند
$عدد
به عنوان مثال $0، $1 و غیره

آخر چاپ شده اصطلاحات
ginsh سه نماد خاص را ارائه می دهد
%% و %%%
که به ترتیب به آخرین، دوم آخرین و سومین آخرین عبارت چاپ شده اشاره دارد.
اگر می خواهید از نتایج محاسبات قبلی در محاسبات جدید استفاده کنید، این موارد مفید هستند
اصطلاح.

اپراتورها
ginsh عملگرهای زیر را ارائه می دهد که به ترتیب تقدم فهرست شده اند:

! فاکتوریل پسوند

^ تأمین انرژی

+ unary plus

- منهای یکنواخت

* ضرب

/ بخش

+ اضافه

- منها کردن

< کمتر از

> بزرگتر از

<= کمتر یا مساوی

>= بزرگتر یا مساوی

== برابر

!= نا برابر

= انتساب نماد

همه عملگرهای باینری به استثنای سمت چپ وابسته هستند ^ و = که حق دارند-
انجمنی نتیجه عملگر تخصیص (=) سمت راست آن است، پس همینطور است
امکان اختصاص چندین نماد در یک عبارت (مثلاً a = b = c = 2;).

لیست
لیست ها توسط زیر و حل کن کارکرد. یک لیست از یک بریس مجعد باز کننده تشکیل شده است
({، یک توالی عبارات جدا شده با کاما (احتمالاً خالی) و یک پرانتز بسته شدنی
(}).

ماتریس ها
یک ماتریس از یک براکت مربع باز ([، یک دنباله بدون کاما جدا شده است
از ردیف های ماتریس، و یک براکت مربع بسته (]). هر ردیف ماتریس از یک دهانه تشکیل شده است
براکت مربع ([)، دنباله ای از عبارات بدون کاما جدا شده، و بسته شدن
براکت مربع (]). اگر طول ردیف های یک ماتریس یکسان نباشد، عرض آن است
ماتریس طولانی‌ترین سطر می‌شود و ردیف‌های کوتاه‌تر در انتها با آن پر می‌شوند
عناصر ارزش صفر

توابع
یک فراخوانی تابع در ginsh شکل دارد
نام(استدلال)
جایی که استدلال دنباله ای از عبارات جدا شده با کاما است. ginsh فراهم می کند یک زن و شوهر از
توابع داخلی و همچنین تمام توابع نمادین تعریف شده توسط GiNaC و را "وارد" می کند
کتابخانه های اضافی هیچ راهی برای تعریف توابع خود به جز پیوند دادن وجود ندارد
ginsh در برابر کتابخانه ای که توابع نمادین GiNaC را تعریف می کند.

ginsh تکمیل Tab را در نام توابع ارائه می دهد: اگر قسمت اول یک تابع را تایپ کنید
نام، زدن Tab در صورت امکان نام را تکمیل می کند. اگر قسمتی که تایپ کردید منحصر به فرد نیست،
با زدن مجدد Tab لیستی از عملکردهای منطبق نمایش داده می شود. دوبار ضربه زدن به Tab در
اعلان لیست تمام عملکردهای موجود را نمایش می دهد.

لیستی از توابع داخلی در زیر آمده است. تقریباً همه آنها به عنوان GiNaC مربوطه کار می کنند
روش هایی با همین نام، بنابراین من آنها را در اینجا با جزئیات شرح نمی دهم. لطفا به
اسناد GiNaC

شارپولی (ماتریس, نماد) - چند جمله ای مشخصه یک ماتریس
ضریب(بیان, هدف, عدد) - ضریب شی^عدد را از a استخراج می کند
چند جمله ای
جمع آوری(بیان, شی یا فهرست) - ضرایب توان های مشابه را جمع آوری می کند (نتیجه
به صورت بازگشتی)
collect_distributed(بیان, فهرست) - ضرایب توان های مشابه را جمع آوری می کند
(نتیجه به شکل توزیع شده)
جمع آوری_عوامل_مشترک(بیان) - عوامل مشترک را از شرایط مبالغ جمع آوری می کند
مزدوج(بیان) - صرف پیچیده
محتوا(بیان, نماد) - بخشی از محتوای یک چند جمله ای
decomp_rational(بیان, نماد) - تجزیه تابع گویا به چند جمله ای
و عملکرد منطقی مناسب
درجه(بیان, هدف) - درجه یک چند جمله ای
دین (بیان) - مخرج یک تابع گویا
تعیین کننده(ماتریس) - تعیین کننده یک ماتریس
دیاگ(اصطلاح...) - ماتریس مورب را می سازد
تفاوت(بیان, نماد [, عدد]) - تمایز جزئی
تقسیم (بیان, بیان) - تقسیم چند جمله ای دقیق
ارزشیابی(بیان [, مرحله]) - یک عبارت را ارزیابی می کند و نمادها را با آنها جایگزین می کند
ارزش اختصاص داده شده
evalf(بیان [, مرحله]) - یک عبارت را به یک عدد ممیز شناور ارزیابی می کند
ارزشیابی(بیان) - مجموع، محصولات و توان های اعداد صحیح ماتریس ها را ارزیابی می کند
بسط دادن(بیان) - یک عبارت را گسترش می دهد
عامل(بیان) - یک عبارت را فاکتورسازی می کند (تک متغیره)
پیدا کردن(بیان, الگو) - فهرستی از تمام رخدادهای یک الگو را در an برمی گرداند
بیان
fsolve(بیان, نماد, عدد, عدد) - به صورت عددی ریشه یک مقدار واقعی را پیدا کنید
عملکرد در یک بازه زمانی
gcd(بیان, بیان) - بزرگترین مقسوم علیه مشترک
دارد(بیان, الگو) - اگر عبارت اول حاوی الگو باشد، "1" را برمی گرداند
به عنوان یک عبارت فرعی، "0" در غیر این صورت
integer_content(بیان) - محتوای عدد صحیح یک چند جمله ای
معکوس(ماتریس) - معکوس یک ماتریس
است(ارتباط) - اگر رابطه درست باشد "1" و در غیر این صورت "0" (نادرست یا
تصمیم نگرفتم)
lcm(بیان, بیان) - کمترین مضرب مشترک
lcoeff(بیان, هدف) - ضریب پیشرو یک چند جمله ای
مدرک تحصیلی (بیان, هدف) - درجه کم چند جمله ای
حل کنم(معادله لیست, نماد-لیست) - حل سیستم معادلات خطی
نقشه (بیان, الگو) - اعمال تابع برای هر عملوند. تابع بودن
اعمال شده به عنوان الگویی با علامت عام "$0" برای عملوندها مشخص می شود
همخوانی داشتن(بیان, الگو) - بررسی کنید که آیا عبارت با یک الگو مطابقت دارد یا خیر. برمی گرداند a
در صورت عدم وجود تطابق، فهرستی از تعویض‌های حروف عام یا "FAIL".
نه (بیان) - تعداد عملوندها در بیان
طبیعی(بیان [, مرحله]) - عادی سازی تابع منطقی
عدد(بیان) - شمارنده یک تابع گویا
numer_denom(بیان) - شمارشگر و شمارشگر یک تابع گویا به صورت a
فهرست
op(بیان, عدد) - استخراج عملوند از عبارت
قدرت(EXPR1, EXPR2) - توان (معادل نوشتن expr1^expr2)
پریم(بیان, بیان, نماد) - شبه باقیمانده چند جمله ای ها
ابتدایی (بیان, نماد) - بخش ابتدایی یک چند جمله ای
موجود (بیان, بیان, نماد) - ضریب چند جمله ای ها
رتبه (ماتریس) - رتبه یک ماتریس
رم(بیان, بیان, نماد) - باقیمانده چند جمله ای ها
حاصل (بیان, بیان, نماد) - حاصل دو چند جمله ای با
احترام به نماد s
سلسله(بیان, رابطه یا نماد, سفارش) - گسترش سری
اسپرم(بیان, بیان, نماد) - پراکنده شبه باقیمانده چند جمله ای ها
sqrfree(بیان [, نماد-لیست]) - فاکتورسازی بدون مربع یک چند جمله ای
sqrt(بیان) - ریشه دوم
زیرمجموعه ها(بیان, رابطه یا لیست)
زیرمجموعه ها(بیان, لیست جستجو, جایگزین به لیست) - جایگزین عبارات فرعی (شما
ممکن است از حروف عام استفاده کند)
tcoeff(بیان, هدف) - ضریب عقبی یک چند جمله ای
زمان(بیان) - زمان مورد نیاز برای ارزیابی داده شده را بر حسب ثانیه برمی گرداند
بیان
پی گیری(ماتریس) - اثری از یک ماتریس
جابجا کردن(ماتریس) - انتقال یک ماتریس
لغو تخصیص('سمبل') - لغو اختصاص نماد اختصاص داده شده (لطفاً به نقل قول ها توجه کنید!)
واحد(بیان, نماد) - بخش واحد یک چند جمله ای

ویژه دستورات
برای خروج از جینش وارد شوید
ترک
or
خروج

ginsh می تواند یک راهنما (کوتاه) برای یک موضوع مشخص (بیشتر در مورد توابع و عملگرها) نمایش دهد.
با ورود
?موضوع
تایپ
??
لیستی از موضوعات راهنما در دسترس را نشان می دهد.

دستور
چاپ(بیان);
یک روگرفت از نمایندگی داخلی GiNaC برای داده شده چاپ می کند بیان. این هست
برای اشکال زدایی و یادگیری در مورد داخلی های GiNaC مفید است.

دستور
print_latex(بیان);
یک نمایش LaTeX از داده شده را چاپ می کند بیان.

دستور
print_csrc(بیان);
داده شده را چاپ می کند بیان به گونه ای که بتوان در برنامه های C یا C++ از آن استفاده کرد.

دستور
چاپ (بیان);
داده شده را چاپ می کند بیان (که باید به یک عدد صحیح ارزیابی شود) به صورت اعشاری، اکتال و
نمایش های هگزادسیمال

در نهایت، پوسته فرار می کند
! [فرمان [استدلال]]
داده شده را پاس می کند فرمان و به صورت اختیاری استدلال به پوسته برای اعدام. با این
با روش، می توانید دستورات شل را از داخل ginsh بدون نیاز به خروج اجرا کنید.

مثال ها

> a = x^2-x-2;
-2-x+x^2
> b = (x+1)^2;
(x+1)^2
> s = a/b;
(x+1)^(-2)*(-2-x+x^2)
> تفاوت(ها، x)؛
(2*x-1)*(x+1)^(-2)-2*(x+1)^(-3)*(-x+x^2-2)
> نرمال(های)؛
(x-2)*(x+1)^(-1)
> x = 3^50;
717897987691852588770249
> s;
717897987691852588770247/717897987691852588770250
> ارقام = 40;
40
> evalf(s);
0.999999999999999999999995821133292704384960990679
> لغو انتساب ('x');
x
> s;
(x+1)^(-2)*(-x+x^2-2)
> سری(sin(x),x==0,6);
1*x+(-1/6)*x^3+1/120*x^5+Order(x^6)
> lsolve({3*x+5*y == 7}, {x, y});
{x==-5/3*y+7/3,y==y}
> lsolve({3*x+5*y == 7, -2*x+10*y == -5}, {x, y});
{x==19/8, y==-1/40}
> M = [ [a, b], [c, d] ];
[[-x+x^2-2،(x+1)^2]،[c,d]]
> تعیین کننده (M);
-2*d-2*x*cx^2*cx*d+x^2*dc
> جمع آوری (% x);
(-d-2*c)*x+(dc)*x^2-2*dc
> حل نظریه میدان کوانتومی.
خطای تجزیه در کوانتومی
> ترک

عیب یابی

خطای تجزیه در فو
شما چیزی را وارد کردید که ginsh قادر به تجزیه آن نبود. لطفا نحو را بررسی کنید
ورودی شما و دوباره امتحان کنید.

استدلال تعداد به تابع باید یک نوع
شماره آرگومان تعداد به داده شده تابع باید از نوع خاصی باشد (مثلا الف
نماد، یا یک لیست). آرگومان اول دارای عدد 0 است، آرگومان دوم شماره 1،
و غیره.

با استفاده از خدمات onworks.net از ginsh آنلاین استفاده کنید