additional comments

describe hilbert function more in env.m