Rigorous and Reliable (RAR)

(05-10-2019 07:56 PM)lingu Wrote: [ -> ]Driver: Sage configuration can be quite complex. It is often convenient to evaluate a var in Sage either on command line or in a program. GLAD has a command 'gladinfo var' or 'glad info var' to read the value of a variable var. But Sage does not have it.

Proposal: add a command 'info' like the 'info' command in glad, an let 'sage info var' report the value of var.

RR zheny

?

(11-23-2019 11:48 PM)lingu Wrote: [ -> ]

(05-10-2019 07:56 PM)lingu Wrote: [ -> ]Driver: Sage configuration can be quite complex. It is often convenient to evaluate a var in Sage either on command line or in a program. GLAD has a command 'gladinfo var' or 'glad info var' to read the value of a variable var. But Sage does not have it.

Proposal: add a command 'info' like the 'info' command in glad, an let 'sage info var' report the value of var.

RR zheny

?

good to me
I suggest to update these info to head-post
---
sage info
sage info [var]: report the value of a variable $var
supported $var including
ips: nodes managed by sage
apt_cnt: current atp count
---

RR xwcwt
I will implement these a little later

(11-24-2019 06:09 PM)zheny Wrote: [ -> ]

(11-23-2019 11:48 PM)lingu Wrote: [ -> ]

(05-10-2019 07:56 PM)lingu Wrote: [ -> ]Driver: Sage configuration can be quite complex. It is often convenient to evaluate a var in Sage either on command line or in a program. GLAD has a command 'gladinfo var' or 'glad info var' to read the value of a variable var. But Sage does not have it.

Proposal: add a command 'info' like the 'info' command in glad, an let 'sage info var' report the value of var.

RR zheny

?

good to me
I suggest to update these info to head-post
---
sage info
sage info [var]: report the value of a variable $var
supported $var including
ips: nodes managed by sage
apt_cnt: current atp count
---

RR xwcwt
I will implement these a little later

Good to me.