Question: How to get the name part of an indexed name?

For example, if we have

 

a:= 0.312[1];

 

How can get the 0.312 part of a? I have tried evalf and op without success.

Please Wait...