Poprawność obliczeń można w tym wypadku łatwo zweryfikować, gdyż czworościan ten jest ostrosłupem o podstawie (trójkąt prostokątny o bokach ) i wysokości ; objętość czworościanu wyliczymy z ogólnego wzoru na objętość ostrosłupa o danej wysokości, tj.
Oba wzory dają więc identyczne wyniki.
(2) Jeżeli w programie zadamy oraz (czworościan foremny), to otrzymamy
co jest zgodne z dokładna wartością obliczoną ze wzoru , gdzie .
Obliczenia za pomocą wyznacznika Poniżej podano kod w Python do obliczania objętości czworościanu o zadanych długościach krawędzi oraz – jak opisano to wyżej, przy czym użyto tu instrukcji np.linalg.det(M) , która wykorzystuje funkcję z biblioteki NumPy obliczającej wyznacznik macierzy (liang = linear algebra, det = determinant).