Home Online Manual
Top
Back: dmodGeneralAssumptionCheck
Forward: extendWeyl
FastBack: ratgb_lib
FastForward: Examples
Up: dmodloc_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.21.0. safeVarName
Procedure from library dmodloc.lib (see dmodloc_lib).

Usage:
safeVarName(s); s string

Return:
string, returns s if s is not the name of a par/var of basering and `@' + s otherwise

Example:
 
LIB "dmodloc.lib";
ring r = (0,a),(w,@w,x,y),dp;
safeVarName("a");
==> @a
safeVarName("x");
==> @x
safeVarName("z");
==> z
safeVarName("w");
==> @@w