what about a standard abbreviation variable with a default for each domain, which can be changed by the user from outside?
Am 26.04.2012 um 18:46 schrieb Ralf Hemmecke: >> 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. > Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789 Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-1803-5518-17745 -- 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.
