Abbreviation for long domain names

[Prof. Dr. Johannes Grabmeier]

Dear Waldek,

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? Or is there already now a way, which I am not aware of?

here an example:

coerce : % -> List(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)))
coerce : HexadecimalExpansion -> %
coerce : List(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))) -> %
construct : (NonNegativeInteger,NonNegativeInteger) -> %
dNF : (%,List(Integer)) -> 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))
dNFMonomial : (NonNegativeInteger,List(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)))) -> 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))
elt : (%,PositiveInteger,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))) -> 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))
?.? : (%,PositiveInteger) -> 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))







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

[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

[Prof. Dr. Johannes Grabmeier]

what about a standard abbreviation variable with a default for each domain, which can be changed by the user from outside?

> --
> 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 fricas...@googlegroups.com.
> To unsubscribe from this group, send email to fricas-devel...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.