testing cases for complex package
change the basic getter to general form
change basic operations to general form
change equ to general form
rewrite to a more compact form