lpsconstelm - מקוון בענן

תָכְנִית:

שֵׁם

lpsconstelm - מסיר פרמטרים קבועים מ-LPS

תַקצִיר

lpsconstelm [אוֹפְּצִיָה]... [בקובץ [קובץ חוץ]]

תיאור

הסר פרמטרים קבועים של תהליך מה-LPS ב-INFILE וכתוב את התוצאה ל-OUTFILE.
אם INFILE אינו קיים, נעשה שימוש בקלט סטנדרטי. אם OUTFILE אינו קיים, סטנדרטי
נעשה שימוש בפלט.

אפשרויות

אוֹפְּצִיָה יכול להיות כל אחד מהבאים:

-c, --התעלם מתנאים
להתעלם מתנאים על ידי הנחה שהם מוערכים כאמת

-f, ---instantiate-free-variables
אפשר ליצור מופע של משתנים חופשיים כתופעת לוואי של האלגוריתם הערה:
פונקציונליות זו לא נבדקה!

-QNUM, --qlimit=NUM
הגבלת ספירה של מכמים ל-NUM משתנים. (ברירת מחדל NUM=1000, NUM=0 עבור
ללא הגבלה).

-s, --הסר-יחיד-מיינים
הסר פרמטרים עם מיון אלמנט בודד

-t, ---remove-trivial-summands
הסר סימון עם תנאי שקר

-rשֵׁם, - כותב מחדש=שֵׁם
השתמש באסטרטגיית שכתוב NAME: 'jitty' jitty rewriting (ברירת מחדל) 'jittyc' הידור
jitty שכתוב 'jittyp' jitty שכתוב עם מוכיח

--תזמונים[=קובץ]
הוסף מדידות תזמון ל-FILE. המדידות נכתבות לפי שגיאת תקן אם
לא מסופק FILE

אפשרויות סטנדרטיות:

-q, --שֶׁקֶט
אל תציג הודעות אזהרה

-v, --מִלוּלִי
להציג הודעות ביניים קצרות

-d, --לנפות
להציג הודעות ביניים מפורטות

--רמת יומן=רמה
להציג הודעות ביניים עד וכולל רמה

-h, - עזרה
להציג מידע עזרה

--גִרְסָה
להציג מידע על הגרסה

השתמש ב-lpsconstelm באופן מקוון באמצעות שירותי onworks.net