i am working with generic messages in krypto systems using GDMP with,
say at least 64 variables. It is really not practical in listing all
the signatures with all the variables listed in the domain name.
Could we have a feature or a work around to choose an unknown
abbreviation for such domain names used in the )show function?
You probably know
)set output abbreviate on
but that doesn't cure the problem with the 64 variables.
I think the problem described by Johannes *is* a problem. But without
switching off the type output completely, I do not see an easy solution.
The simplest thing I could imagine is that the interpreter checks
whether the type is equal to some (type) variable in the session. I.e.
if one had
P :=
DistributedPRestrictedMultivariatePolynomial(2,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,k1,k2,k3,k4,k5,k6,k7,k8,k9,k10,k11,k12,k13,k14,k15,k16,k17,k18,k19,k20,k21,k22,k23,k24,k25,k26,k27,k28,k29,k30,k31,k32],PrimeField(2))
then one would see
coerce: % -> List(P)
That would be my favourite, but I don't know whether it makes sense to
connect the (type) output routine with the current session variables.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
