A lot of herpers do not have the right definitions for homozygous and heterozygous. Check at
www.dictionary.com, and you will see that the definitions do not say anything about what the animal looks like.
When a pair of genes are the same, then the animal is homozygous for that gene. When the two members of a pair of genes are not the same, then the animal is heterozygous.
So if a corn snake has a pair of normal genes, it is homozygous. It is also homozygous if it has a pair of amelanistic or a pair of ultrahypo genes. A corn snake is heterozygous if it has a normal gene paired with either the amelanistic mutant gene or the ultrahypo mutant gene. The snake is also heterozygous if it has an amelanistic mutant gene paired with an ultrahypo mutant gene.
The appearance of the heterozygous individual determines whether a gene is considered dominant, codominant, or recessive. So far, a corn snake that has any mutant gene paired with the normal version of that gene looks normal. That is the definition of a recessive mutant gene. Over the years, the definition of a recessive mutant gene has gotten combined with the definition of heterozygous in herping pseudogenetics.
FWIW, here is how to tell whether a mutant gene is dominant, codominant, or recessive (to the normal gene):
1. Recessive -- A heterozygous animal (with a normal gene paired with the mutant gene) looks normal. The mutant phenotype appears only when the mutant gene is homozygous.
2. Dominant -- A heterozygous animal (with a normal gene paired with the mutant gene) looks like an individual that has two mutant genes. The mutant phenotype appears when the mutant gene is either homozygous or heterozygous. This is the mirror image of the pattern shown by a recessive mutant gene.
3. Codominant -- A heterozygous animal (with a normal gene paired with the mutant gene) looks like neither the homozygous mutant nor the normal individual. The phenotype is dosage dependent. You can tell the genotype of the animal by looking at it, which is really nice for a breeder.
BTW, A codominant mutant gene is a codominant mutant gene whether a given individual has one copy of the mutant gene or two copies. And a dominant mutant gene is a dominant mutant gene whether a given individual has one copy of the mutant gene or two copies.