I agree that the AML approach does not fully describe the full definition of a laminate, however, it is very widely used in industry and that is why it is included in HyperSizer. As you pointed out, if the data is available, the polynomial approach is superior because it more fully describes the laminate.
The answers to your questions are:
1. The Laminate Analysis form does not perform laminate based failure analyses. This form only performs ply based failure analyses.
2. The polynomial based allowables work exactly the same as the AML based allowables in laminate based failure analysis. The only difference is in how the strain allowable is derived. In both the polynomial approach and in the AML approach, HyperSizer looks in each of the four principal directions, -45, 0, 45, 90, and in each direction:
a) calculates the %0, %45, and %90 in this direction
b) plugs these percentages into the user defined polynomial to find the strain allowable
c) then calculates a margin of safety using the strain in this direction along with the strain allowable
After calculating the allowables and the margin of safety in each direction, HyperSizer then returns the minimum of these four margins to the failure tab.
Also see:
http://hypersizer.com/faq/index.php?topic=76.0