Recent content by Jimena29

Sorry, I didn't notice you had replied until now. But thank you so much! If anyone has a problem like this I solved it, here's my code : datatype 'a peano = P of ('a -> 'a) * 'a -> 'a val zero = P(fn (f, x) => x)(* create : int -> 'a peano * create(n) = the Peano number representing n *...

Oh, I thought I also had to prove that the matrix A is contained in R Thank you very much!

Homework Statement I need to prove that the hermitian matrix is a vector space over R Homework Equations The Attempt at a Solution I know the following: If a hermitian matrix has aij = conjugate(aji) then its easy to prove that the sum of two hermitian matrices A,B give a hermitian...

Standard ML help! datatype problem I have to create a function about peano numbers defined as the following datatype: datatype 'a peano = P of ('a -> 'a) * 'a -> 'a I have to create a function about peano numbers defined as the following datatype: datatype 'a peano = P of ('a -> 'a) *...