real-datatype

0熱度

1回答

我想知道一個REAL變量可以存儲的最大值。或者有什麼辦法可以找到數據類型可以容納的最大值？

-1熱度

1回答

我有以下子程序： SUBROUTINE matprod(nkval, matrix, tkval, field) implicit none integer, allocatable, intent(in) :: matrix(:,:,:) real, allocatable, intent(inout) :: tkval(:,:,:) real, allocatable, intent

1熱度

1回答

Z3實數算術和統計

考慮到使用Z3的實數編碼的問題，Z3 /smt2 /st產生的統計數據可能有助於判斷實數引擎是否「有問題/有很多工作」？在我的情況下，我有兩個主要等效的問題編碼，都使用實數。然而，編碼中的「小」差異在運行時造成很大的差異，即編碼A需要2：30min並且編碼B 13min。 Z3統計顯示conflicts和quant-instantiations大部分是等效的，但其他的不是，例如grobner,p

2熱度

2回答

gfortran - 未指定的小數長度允許實際輸出嗎？

有沒有一種方法來格式化輸出的實數，使得寬度和小數部分都未指定？這是可能的ifort通過只是在做以下操作： write (*, '(F)') num ...但據我所知，這是使用特定的編譯器擴展。 Gfortran確實接受符合標準的0寬度說明符，但在標準和gfortran文檔中找不到有關如何不指定小數部分的任何內容。顯而易見的猜測是也只是使用0，但這會產生不同的結果。例如，給定這個： real ::

0熱度

1回答

在gfortran中實現真正轉換的字符串

我製作了一個gfortran程序，它使用READ語句將字符串轉換爲真實的。問題：使用READ（line（54:67），*）t命令從文件中讀取字符串（'1.00000E-03'）時，程序返回t：1.76617300510772955878279319145152225E-0003。這是一個錯誤的轉換。但是當我寫READ（'1.00000E-03'，*）t時，程序返回1.000000000003

5熱度

1回答

整數到實數轉換函數

是否有一個常見的轉換函數將整型對象轉換爲VHDL中的實型？這是用於測試平臺的，因此合成性不成問題。

-5熱度

2回答

gfortran REAL不精確到8位小數

這個問題還沒有得到解答。我試圖在Fortran中正確表示一個真實或任何數字。什麼gfortran爲我做的是離開。例如，當我聲明變量REAL pi = 3.14159 fortran print pi = 3.14159012而不是說3.14159000。請看下圖： PROGRAM Test IMPLICIT NONE REAL:: pi = 3.14159 PRINT *, "PI = ",

0熱度

2回答

fortran函數中傳遞數組的併發症

我正在嘗試編寫一個程序來計算兩個向量的交叉乘積（輸入爲「真實」類型，例如[1.3 3.4 1,5]]。不過，我不斷收到許多錯誤： program Q3CW implicit none REAL :: matA(3), matB(3) REAL :: A11, A12, A13 REAL :: B11, B12, B13 real :: produc

0熱度

1回答

Fortran的類型不匹配錯誤

在我一直在考慮這個Fortran程序告訴調試，我得到的錯誤：「在（1）中的參數‘P1’類型不匹配;通過REAL（4）以TYPE（點）「我似乎無法弄清楚錯誤發生的地方。我試着定義不同的變量來傳遞給每個函數，而不是p1和p2具有相同的錯誤。有任何想法嗎？ MODULE PointType TYPE POINT REAL:: x REAL:: y END TYPE CONTAINS

10熱度

4回答

在Objective-C中已經定義了「複數」嗎？

對於以下代碼， - Objective-C知道如何將「i」添加到複數中？當我在Complex.m文件中將「real」和「imaginary」定義爲double值時，我認爲Xcode只會知道「real」和「imaginary」是double值。例如，如果我將「myComplex.imaginary = 7;」替換爲main.m文件中複數的結尾，到「myComplex.imaginary = 7i;」